Modelos de Conocimiento Basados en Ontologías para la ...

Capítulo 4. Esquema de representación propuesto
almacenamiento interno del formato utilizado por la herramienta Protégé, que
conserva la ordenación de elementos en slot múltiples 78 .
Estos dos conceptos de tipos de descripción de polinomio (clases
RootsAndCoeffPolynomialDescription y
DescendingPowersOfVariablePolynomialDescription) se
agrupan como subtipos de una clase padre de nombre
PolynomialDescription. Ambos conceptos son un "tipo-de" descripción
de polinomio y por eso están organizados como subclases de esta forma. Sin
embargo la clase padre sólo tendrá como fin agrupar a los dos (o más, si se
especificasen) tipos de descripción de polinomios, no tendrá ningún slot que
hereden los hijos y por lo tanto desde el punto de vista de la herencia de
propiedades no aportará nada, sólo podrá servir para ofrecer una explicación de
que ambos conceptos hijos son formas de describir un polinomio u ofrecer al
usuario la posibilidad de representar un polinomio en pantalla por medio de otro
tipo de descripción.
A continuación se trata la conceptualización de los números, necesaria para
expresar los coeficientes, las raíces y el coeficiente principal de las descripciones
de polinomios vistas anteriormente.
4.5.1.2 Representación de los números
La distinción entre los números reales y naturales, enteros, racionales,
irracionales, etc., no es demasiado importante en la conceptualización presente, ya
que estos tipos de números no son de utilidad en el campo de estudio, donde lo
que representan estos números son magnitudes físicas y/o de señales que tendrán
un valor real (los números enteros se utilizan en ciertas características concretas
pero pueden ser representados como números reales sin problema). El caso de los
números complejos es diferente, ya que éstos tienen una gran importancia en el
campo del control automático y deberán recogerse por tanto explícitamente en la
conceptualización. En resumen, puede decirse que sólo se utilizarán números
reales para recoger valores y medidas cuantitativas, y números complejos
dedicados a la representación de las raíces de los polinomios.
La ontología EngMath (Gruber y Olsen, 1994) contiene una conceptualización de
los números tomada de kif-numbers que, a su vez, está preconstruida dentro de
78 En realidad esta conservación del orden es un aspecto casi fortuito y no construido en el formalismo de rerpresentación
del conocimiento ya que Protégé no implementa (Wang et. al., 2006) la faceta :COLLECTION_TYPE de un slot que sí está
definida en el protocolo OKBC (Chaudhri et. al., 1998b). Ver también
http://article.gmane.org/gmane.comp.misc.ontology.protege.owl/4886/match=multiple+cardinality+slot+ordered.
Mencionar que OWL tampoco admite la representación de listas ordenadas aunque algunos trabajos consiguen presentar la
mayoría de la semántica de las mismas ((Drummond et. al., 2006))
85