Practical TBox Abduction Based on Justification Patterns

Authors

  • Jianfeng Du Guangdong University of Foreign Studies
  • Hai Wan Sun Yat-sen University
  • Huaguan Ma Sun Yat-sen University

DOI:

https://doi.org/10.1609/aaai.v31i1.10683

Keywords:

abductive reasoning, description logics, justification pattern, TBox abduction, explanation

Abstract

TBox abduction explains why an observation is not entailed by a TBox, by computing multiple sets of axioms, called explanations, such that each explanation does not entail the observation alone while appending an explanation to the TBox renders the observation entailed but does not introduce incoherence. Considering that practical explanations in TBox abduction are likely to mimic minimal explanations for TBox entailments, we introduce admissible explanations which are subsets of those justifications for the observation that are instantiated from a finite set of justification patterns. A justification pattern is obtained from a minimal set of axioms responsible for a certain atomic concept inclusion by replacing all concept (resp. role) names with concept (resp. role) variables. The number of admissible explanations is finite but can still be so large that computing all admissible explanations is impractical. Thus, we introduce a variant of subset-minimality, written ⊆ds-minimality, which prefers fresh (concept or role) names than existing names. We propose efficient methods for computing all admissible ⊆ds-minimal explanations and for computing all justification patterns, respectively. Experimental results demonstrate that combining the proposed methods is able to achieve a practical approach to TBox abduction.

Downloads

Published

2017-02-12

How to Cite

Du, J., Wan, H., & Ma, H. (2017). Practical TBox Abduction Based on Justification Patterns. Proceedings of the AAAI Conference on Artificial Intelligence, 31(1). https://doi.org/10.1609/aaai.v31i1.10683

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning