Una posible solución para la escalabilidad del razonamiento automático con ontologías

explicación gráfica de una fórmula en lógica descriptiva

En lógica matemática, una teoría T es una extensión conservativa de T’ cuando toda consecuencia lógica de T en el lenguaje de T’ es demostrable también en T’. En el campo de la Ingeniería Ontológica, la aplicación de esta noción a la hora de construir extensiones ontológicas permitiría desarrollar herramientas de razonamiento contextual con el fin de pensar en las ontologías como un conjunto de módulos.

De hecho, se puede pensar que la teoría de E-conexiones desarrolladas para el razonamiento automático es una forma práctica de pensar en ese tipo de módulos. En un artículo que vamos a enviar, hemos desarrollado un método para retraer de manera conservativa las teorías, de forma que la teoría (ontología) original sea una extensión conservativa de la que obtenemos (que se localiza en un lenguaje concreto). Este primer método está diseñado para la lógica proposicional, y esperamos extenderlo para sublenguajes de lógica descriptiva susceptibles de ser usados en el razonamiento con taxonomías o folksonomías. De hecho, disponemos de una aplicación del método para resolver problemas en el Análisis Formal de Conceptos, la teoría sobre la conexión de Galois establecida entre objetos y atributos.

Anuncios