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

Capítulo 4. Esquema de representación propuesto
conjunto de clases en cuya descripción aparece ese slot. El rango de un slot es el
conjunto de clases cuyas instancias pueden hacer las veces de valor para ese slot
(el rango sólo tiene sentido cuando el tipo del slot es "Instance" o "Class").
Los axiomas descritos en el lenguaje PAL no son relevantes a la hora de exponer
la estructura de conocimiento modelada en la ontología al nivel en el que se
describirá 74 . En el formalismo de marcos, al contrario que en las lógicas
descriptivas, los axiomas se utilizan para describir conceptos, restringiendo el
valor de los slot mediante expresiones que no se pueden recoger por medio de las
otras facetas disponibles. Sin embargo estas restricciones no forman parte de la
definición del concepto, como es el caso de las lógicas descriptivas, sino de su
descripción y por lo tanto sólo sirven para comprobar, en tiempo de diseño, si
existen errores en la introducción de datos 75 .
En general se ha preferido presentar diagramas como los explicados en párrafos
anteriores frente a capturas de pantalla del editor Protégé, ya que se considera que
esta segunda opción es menos conveniente a la hora de comprender las estructuras
de conocimiento.
Los términos utilizados a la hora de describir una ontología suelen ser motivo de
confusión habitualmente. Se llamará en general "concepto" (concepto) o "marco"
(frame) a cualquiera de los tres elementos básicos: clase, slot e instancia. Se
llamarán "atributos" o "propiedades" a los conceptos que sirven para establecer
relaciones entre otros conceptos en la ontología. El caso más sencillo de atributo
será recogido por conceptos representados como slots pero también habrá
atributos que sean expresados mediante instancias, tal como se expondrá.
Los conceptos en la ontología se han introducido utilizando el idioma inglés ya
que de esta forma ésta puede tener mayor difusión. Por lo tanto, en la exposición
de la conceptualización también se emplearán los términos en inglés. El permitir
que en una misma ontología exista la posibilidad de utilizar diferentes idiomas
para designar al mismo concepto es un campo activo de investigación (aunque
este problema se podría abordar de forma más informal utilizando aproximaciones
ad-hoc relativamente sencillas).
Los nombres de conceptos que aparecen en la ontología, ya sean clases, slots o
instancias, aparecerán en el texto con un tipo letra Courier, como en este ejemplo:
ClaseDePrueba.
74
De hecho, el lenguaje PAL sirve sólo para establecer restricciones sobre el conocimiento existente, no para establecer
axiomas tal como se entienden en una teoría lógica.
75
Aquí se puede ver una diferencia fundamental entre los marcos y las lógicas descriptivas y más en concreto respecto a
OWL. La herramienta es, en el caso de los marcos, la que recoge de manera expresa la semántica existente en las
restricciones sobre los slot. Las facetas son restricciones construidas en la propia herramienta. Los axiomas PAL también
son gestionados por la misma. En OWL las restricciones en las relaciones se expresan de forma independiente de la
herramienta, de forma que la ontología construida es totalmente independiente.
81