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

Capítulo 4. Esquema de representación propuesto
La figura 4.8 es una captura del editor Protégé en el que se puede ver un esquema
similar al presentado en la figura 4.7 pero con instancias reales de la ontología.
Figura 4.8. Instancia de número complejo en la ontología
Tanto RealNumber como ComplexNumber se han creado como subclases de
la clase Number.
En este punto es conveniente comentar algo sobre el uso de las instancias que
representan números en la ontología. La misma instancia de un número puede
utilizarse en varios sitios siempre que haga referencia a un mismo individuo ó
cuando aparezca solamente con el fin de procesar su valor numérico, por ejemplo
en las comparaciones, donde se comparan valores numéricos y no instancias de
números estrictamente hablando. Pero por otro lado las raíces de un polinomio,
por ejemplo, siempre serán instancias de números complejos diferentes aunque
tengan los mismos valores como parte real e imaginaria (incluyendo el 0+0j) 83 , es
83 El formalismo de marcos postula la presunción de nombre único (Unique Name Assumption - UNA -). Esto significa
que no puede existir una instancia con dos nombres diferentes ni dos instancias diferentes con el mismo nombre. Esto no
89