A Graph-Based Approach to Ontology Debugging in DL-Lite

Xuefeng Fu,Yong Zhang,Guilin Qi
DOI: https://doi.org/10.1007/978-3-319-15615-6_3
2015-01-01
Abstract:Ontology debugging is an important nonstandard reasoning task in ontology engineering which provides the explanations of the causes of incoherence in an ontology. In this paper, we propose a graph-based algorithm to calculate minimal incoherence-preserving subterminology (MIPS) of an ontology in a light-weight ontology language, DL-Lite. We first encode a DL-Lite ontology to a graph, then calculate all the MIPS of an ontology by backtracking some pairs of nodes in the graph. We implement the algorithm and conduct experiments over some real ontologies. The experimental results show that our debugging system is efficient and outperforms the existing systems.
What problem does this paper attempt to address?