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

Capítulo 5. Experimentos y resultados
sus descripciones (caso en el que los marcos, sin más extensiones, podrían haber
representado todo el conocimiento).
En el caso de la presente aplicación el procesador se ha programado en Java,
aunque una aproximación más automatizada y que conservase la naturaleza
declarativa del conocimiento sería la traducción de esas estructuras de
conocimiento a la sintaxis de un lenguaje de reglas (Jess, por ejemplo). De hecho,
la estructura de la definición de conceptos se ha hecho pensando en que ese tipo
de traducción sea sencilla.
La alternativa, desde el punto de vista práctico, al formalismo de los marcos es,
como se ha mencionado, el uso de OWL. Sin embargo, el haber utilizado OWL
como lenguaje de representación también habría supuesto la necesidad de haber
implementado parte de la semántica de forma separada, ya que la expresividad y
los mecanismos automatizados de razonamiento con que cuenta este lenguaje no
son de mucha ayuda para el tipo de conocimiento del dominio tratado, tal como se
explicó en la sección 3.6.
En muchas aplicaciones realizadas con OWL también se utilizan reglas para
extender su expresividad. El lenguaje SWRL (Semantic Web Rule Language)
(Horrocks et. al., 2004) proporciona la posibilidad de construir expresiones de
conocimiento que no son posibles en OWL. Esta estrategia tiene varios aspectos
sensibles a tener en cuenta: en primer lugar, la expresividad construida en SWRL
hace que el lenguaje sea indecidible (Rosati, 2006) y, por otro lado, la
expresividad de SWRL se solapa en ciertas construcciones semánticas con la
propia expresividad de OWL (se dice que ambos lenguajes son ortogonales), por
lo que surge una nueva fuente para la existencia de posibles diferentes
conceptualizaciones de las mismas estructuras así como posibles problemas de
conceptualización.
En cualquier caso (se elijan marcos u OWL como formalismo), el uso de reglas de
derivación es obligatorio para conseguir la expresividad necesaria. Puede
considerarse que lo que se ha hecho en la ontología es construir (mediante las
estructuras creadas para las entidades, características, comparaciones y
precondiciones) un mecanismo para facilitar la introducción y mantenimiento de
estas reglas, utilizando una conceptualización que aísla de la sintaxis de las
mismas, facilitando su edición y la generación de explicaciones.
Las estructuras de conocimiento encontradas en el desarrollo de esta ontología
muestran el tipo de expresividad que se requeriría de un lenguaje de
representación del conocimiento para abordar la representación del conocimiento
en el dominio de estudio. Desde este punto de vista, el tipo de formalismo
utilizado para explicitar ese conocimiento no es tan importante. Además, el uso de
183