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

Capítulo 3. Representación del conocimiento y ontologías
aplicación requiere que los conceptos no puedan ser fijados de antemano
sino que es posible que sean definidos en tiempo de ejecución (postcoordinación),
el uso de razonadores basados en lógicas descriptivas sí es
rentable.
Hipótesis de mundo abierto o mundo cerrado 52 . Reiter (Reiter, 1977)
distinguió dos categorías de bases de datos (que también pueden ser
extendidas al caso de bases de conocimiento):
o Mundos cerrados. Es aquella base de datos en la que toda
proposición verdadera está almacenada o es deducida de otras que
lo están. Cualquier proposición que no está almacenada o que no
es demostrable se considera falsa 53 .
o Mundos abiertos. Una base de datos en la que algunos hechos
acerca del dominio son desconocidos o no se pueden probar se
denomina un mundo abierto. En un mundo abierto algunas
proposiciones se sabe que son verdaderas, y algunas se sabe que
son falsas, pero hay una gran área intermedia de proposiciones
cuyo valor de verdad es desconocido.
Los esquemas de representación basados en marcos se basan sobre todo
en la hipótesis de mundo cerrado mientras que en OWL se asume la
hipótesis de mundo abierto. Esto supone una diferencia drástica: para la
aproximación basada en marcos, lo que existe es lo que explícitamente
está representado o lo que se puede deducir de lo representado, mientras
que para OWL pueden existir más elementos que los representados 54 : que
algo no pueda ser deducido no quiere decir que no sea verdadero.
Otro de los temas sobre los que suele debatirse es el grado de formalidad a utilizar
a la hora de definir una ontología 55 (respecto a aspectos prácticos de
implementación de aplicaciones). Mientras que algunos investigadores postulan
que la formalidad debe proceder de la especificación de la semántica mediante
teoría lógica de modelos (por ejemplo, ver el artículo de Enrico Franconi en
(Brewster y O'Hara, 2004)), otros admiten la existencia de representaciones con
52 Open World Assumption - OWA - vs. Closed World Assumption - CWA -
53 Este método de razonamiento se denomina "negación como fallo" (Negation As Failure - NAF -). En contraste, en la
hipótesis de mundo abierto el razonamiento equivalente es "negación como insatisfacibilidad" (Negation As
Unsatisfiability).
54 Para indicar que todo lo representado es lo que realmente existe y nada más que eso en un lenguaje que utiliza la
hipótesis del mundo abierto deben utilizarse los denominados axiomas de clausura (closure axioms).
55 La discusión sobre la necesidad de formalidad en los formalismos de representación del conocimiento se remonta a los
trabajos de Minsky, donde se defiende la idea de informalidad que subyace en los marcos, apoyándose en varias razones: 1)
El conocimiento está más concentrado y localizado cuando se usan los marcos que si se distribuye a lo largo de diferentes
axiomas. 2) Los mecanismos de deducción no tienen un foco de interés en el caso de formalismos lógicos. El existir
superestructuras de conocimiento ayuda a seguir la secuencia de deducción y el control del mecanismo de deducción. 3) La
lógica es monotónica. 4) La consistencia es un hecho incluso no deseable en una base de conocimiento, el ser humano se
las apaña muy bien sin la consistencia.
61