Merging of Ontologies Using Belief Revision and Defeasible Logic Programming

• Autores: Sergio Alejandro Gómez, Guillermo Ricardo Simari
• Localización: Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 16, Nº. 52, 2013 (Ejemplar dedicado a: WASI), págs. 16-28
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen
  • español

    La mezcla de ontologías se refiere al proceso de creación de una nueva ontología a partir de dos más ontologías existentes con partes en común. El marco de las δ-ontologías permite razonar con ontologías en Lógica para la Descripción posiblemente inconsistentes al interpretarlas en Programación en Lógica Rebatible, la cual es un acercamiento al razonamiento de sentido común basado en argumentación rebatible y programación en lógica. En las Lógicas para la Descripción tradicionales, el conocimiento expresado por una ontología simple es separado en una caja terminológica y una caja asercional. En contraste, en una δ-ontología, la caja terminológica es separada en una caja estricta (que siempre debe ser consistente) y una caja rebatible (que podría ser inconsistente). Mezclar cajas rebatibles es trivial pero mezclar cajas estrictas no lo es puesto que tal unión podría resultar en una caja estricta inconsistente. En este artículo, extendemos el marco de las δ-ontologías al combinar Argumentación, Revisión de Creencias y Lógicas para la Descripción para mezclar dos ontologías tales que la unión de las terminologías estrictas podría llevar a inconsistencia. Basamos nuestro acercamiento en un procedimiento presentado por Falappa et al. donde parte de las terminologías inconsistentes son convertidas en rebatibles por medio de un operador de revisión de núcleo aplicado a la unión conjuntista de las ontologías.

  • English

    Ontology merging refers to the process of creating a new ontology from two or more existing ontologies with overlapping parts. The δ-ontologies framework allows to reason with possibly inconsistent Description Logic ontologies by interpreting them in Defeasible Logic Programming, which is an approach to common-sense reasoning based on defeasible argumentation and logic programming. In traditional Description Logics, the knowledge expressed by a single ontology is separated into a terminological box and an assertional box. In contrast, in a δ-ontology, the terminological box is separated into an strict box (which must always be consistent) and a defeasible box (that could be inconsistent). Merging defeasible boxes is trivial but merging strict boxes is not since its union could result in an inconsistent strict box. In this article we extend the δ-ontologies framework by combining Argumentation, Belief Revision, and Description Logic ontologies to merge two ontologies such that the union of the strict terminologies could lead to inconsistency. We base our approach on a procedure presented by Falappa et al. where part of the inconsistent terminologies are turned defeasible by using a kernel revision operator applied to the set union of the ontologies.