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

Capítulo 3. Representación del conocimiento y ontologías
más difícil será lograr que sea correcto y completo, pudiendo llegar a afectar a la
tratabilidad y la decidibilidad (Tobies, 2001), (Donini et. al., 1996).
Con la mejor comprensión de las técnicas para estudiar las características de
computabilidad y complejidad computacional de estos sistemas, algunas
aproximaciones más modernas como FACT (Horrocks, 1998) intentan conservar
la expresividad en algún aspecto importante como la definición de conceptos y
también implementar razonadores completos con una eficiencia computacional
asumible. Dentro de esta categoría se encuentra también OWL-DL (Ontology
Web Language - Description Logic), de cuya aparición y evolución se hablará en
el siguiente apartado, ya que se ha convertido en el lenguaje más utilizado para la
formalización de ontologías mediante un formalismo lógico.
Todos estos sistemas cuentan con lenguajes capaces de expresar la estructura
terminológica construida con descripciones, especificando los roles de cada
concepto, así como las características de los mismos, como la cardinalidad, el tipo
de datos o conceptos que pueden "rellenar" estos roles, el número de datos que
puede aparecer en cada rol, etc. El mecanismo básico de razonamiento
automatizado que los sistemas basados en lógicas descriptivas pueden realizar es
la clasificación automática de conceptos, es decir, dado un concepto el sistema es
capaz de clasificarlo debajo de los súper-conceptos padre adecuados. La principal
relación que se establece entre los conceptos en la red terminológica, y sobre la
que actúa el mecanismo de inferencia, es la de subsunción o especialización. Este
tipo de relación va más allá de la jerarquía de herencia (también denominada
relación IS-A) que se encuentra en la orientación a objetos, ya que no se limita a
especificar las propiedades que se heredan sino que los conceptos se definen
según estas propiedades. Dicho de otro modo, se ofrece una definición del
concepto en vez de una descripción del mismo.
Otra particularidad propia de este tipo de lenguajes es la clara separación entre la
red estructural de definición de conceptos, llamada "Terminological Box" o T-
Box, y la de instancias particulares y sus relaciones, denominada "Assertional
Box" o A-Box, aunque no todos los sistemas citados implementan estas dos
construcciones. En el caso del A-Box, el mecanismo de inferencia automatizable
más habitual es la comprobación de instancias (instance checking), es decir,
determinar si un determinado individuo en el A-Box es una instancia de un
determinado concepto en la T-Box 26 .
26
Para ver una lista completa y detallada de razonamientos automatizados posibles sobre un sistema de representación del
concocimiento basado en lógicas descriptivas ver (Donini et. al., 1996).
39