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

作者：Fu Xuefeng^*; Zhang Yong; Qi Guilin

来源：4th Joint International Semantic Technology Conference, 2014-11-09 to 2014-11-11.

DOI：10.1007/978-3-319-15615-6_3

• DL-Lite
• Ontology
• Debugging
• MIPS
• Graph

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.

• 出版日期2015
• 单位东南大学