Merging of Ontologies Using Belief Revision and Defeasible Logic Programming
Sergio Alejandro Gómez, Guillermo Ricardo Simari · Redalyc (Universidad Autónoma del Estado de México) · 2013
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.