Lógica descriptiva ALC : ontologías e inferencia

Abstract

RESUMEN: Las lógicas descriptivas son una familia de lenguajes utilizados en Inteligencia Artificial para representar y explotar el conocimiento disponible sobre un dominio. En este trabajo abordamos la lógica descriptiva conocida como ALC. Tras definir su sintaxis y semántica describimos cómo pueden utilizarse para representar conocimiento mediante ontologías. Planteamos diversos problemas de razonamiento a partir de ontologías y probamos que todos pueden reducirse a decidir sobre la consistencia de una ontología. Para resolver este problema de decisión introducimos un método basado en tableaux semánticos y demostramos que es correcto y completo.

ABSTRACT: Description logics constitute a family of languages used in Arti_cial Intelligence to represent and exploit the available knowledge of a domain of application. In this work we address one description logic known as ALC. After de_ning its syntax and semantics, we show how they can be used to describe knowledge using ontologies. We introduce several reasoning problems from ontologies and we prove that they can all be reduced to an ontology-consistency problem. We explain a method to solve this problem based on semantic tableaux and we show that it is correct and complete.