A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in D L-Lite

Xue-feng FU,Gui-lin QI,Yong ZHANG
DOI: https://doi.org/10.3969/j.issn.0372-2112.2016.09.002
2016-01-01
Abstract:Inconsistency often occurs during ontology evolution,and leads to the invalidity of standard reasoning. Minimal unsatisfiablility-preserving sub-TBox (MUPS)can provide an explanation of the unsatisfiability of a concept in an ontology.Finding all MUPS is an important nonstandard reasoning task in ontology engineering.Most of the approaches for calculating MUPS are built on external description logic reasoners.However,a reasoner-based method can hardly achieve positive efficiency and stability.In this paper,we propose a reasoner-independent approach to calculating MUPS using graph representation.We first transform DL ontologies to graphs,and find MUPS by computing the minimal unsatisfiability-preser-ving path-pair (MUPP)based on the transformed graphs.We implement and evaluate our approach.The experimental re-sults demonstrate that our approach performs well in efficiency and stability.
What problem does this paper attempt to address?