Goal-Directed Module Extraction for Explaining OWL DL Entailments

  • Authors:

  • Jianfeng Du;Guilin Qi;Qiu Ji

  • Affiliations:

  • Institute of Business Intelligence and Knowledge Discovery, Guangdong University of Foreign Studies, Guangzhou, China 510006 and State Key Laboratory of Computer Science, Institute of Software, Ch ...;AIFB, Universität Karlsruhe, Karlsruhe, Germany D-76128 and School of Computer Science and Engineering, Southeast University, Nanjing, China;AIFB, Universität Karlsruhe, Karlsruhe, Germany D-76128

  • Venue:
  • ISWC '09 Proceedings of the 8th International Semantic Web Conference
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Module extraction methods have proved to be effective in improving the performance of some ontology reasoning tasks, including finding justifications to explain why an entailment holds in an OWL DL ontology. However, the existing module extraction methods that compute a syntactic locality-based module for the sub-concept in a subsumption entailment, though ensuring the resulting module to preserve all justifications of the entailment, may be insufficient in improving the performance of finding all justifications. This is because a syntactic locality-based module is independent of the super-concept in a subsumption entailment and always contains all concept/role assertions. In order to extract smaller modules to further optimize finding all justifications in an OWL DL ontology, we propose a goal-directed method for extracting a module that preserves all justifications of a given entailment. Experimental results on large ontologies show that a module extracted by our method is smaller than the corresponding syntactic locality-based module, making the subsequent computation of all justifications more scalable and more efficient.