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

Capítulo 4. Esquema de representación propuesto
ya reflejadas en la ontología como raíces (roots) y coeficientes
(coefficients), pero también entra en juego una expresión nueva: el "número
de elementos". "Número de elementos" es, a su vez, una característica que se
aplica a una entidad que consista en una colección de elementos, es decir, a una
entidad que se traduzca a un camino de slots cuyo último slot sea múltiple. De
esta forma, podría aplicarse a entidades como roots, poles, zeros, real
poles, etc. Sin embargo, el número de elementos no es una característica de la
instancia de esa entidad, sino de la colección que recoge los elementos que forman
la estructura a la que da nombre dicha entidad. Esta característica no podrá ser
descrita de ninguna forma bajo las conceptualizaciones que se han hecho en la
ontología. Parte del problema radica en que el propio concepto "colección" no está
definido en la ontología sino que es construido internamente como una estructura
de datos a partir de la faceta multiplicidad de un slot.
La conceptualización de la característica "número de elementos" en la presente
ontología consistirá solamente en una instancia que la represente. Habitualmente,
a nivel del lenguaje de representación, esta característica se resuelve mediante una
llamada a una función como ocurre en DAML o en KIF. De forma similar se hará
en el presente caso, la característica será evaluada mediante la correspondiente
instrucción del lenguaje en el que se procese la estructura ó será traducida a la
correspondiente expresión en el lenguaje de reglas que se utilice.
Resumiendo la situación para el caso del cálculo del grado de un polinomio, el
número de elementos será una característica que se aplicará a la colección de
instancias denominada coeficientes (coefficients) que, a su vez, viene
definida como una entidad que hace referencia a las instancias del slot
hasDescendingPowersOfVariable de la instancia de
DescendingPowersOfVariablePolynomialDescription que está en
el slot hasDescendingPowersOfVariablePolynomialDescription
de la instancia de Polynomial de la que se está hablando (de la que se quiere
obtener el grado).
En la expresión compuesta (instancia de CompoundExpression) que
describirá cómo se calcula la característica, existirá por tanto una instancia de
VariableBinding que ligue el nombre de una variable ("num_coeff" por
ejemplo) con esta característica aplicada al polinomio. La expresión a formar para
calcular el grado del polinomio sería por tanto:
126
(num_coeff-1)
En este caso el enlace entre la variable " num_coeff " y la característica es
ligeramente diferente al descrito en el apartado 4.5.1.3. En aquel caso, sin
mencionarlo, parecía que todas las características que pueden aparecer en una
instancia de VariableBinding eran características aplicadas a alguna