2013 | OriginalPaper | Chapter
Computing Instantiated Explanations in OWL DL
Authors : Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Published in: AI*IA 2013: Advances in Artificial Intelligence
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Finding explanations for queries to Description Logics (DL) theories is a non-standard reasoning service originally defined for debugging purposes but recently found useful for answering queries to probabilistic theories. In the latter case, besides the axioms that are used to entail the query, it is necessary to record also the individuals to which the axioms are applied. We refer, in this case, to instantiated explanations. The system BUNDLE computes the probability of queries to probabilistic
$\mathcal{ALC}$
knowledge bases by first finding instantiated explanations for the query and then applying a dynamic programming algorithm. In order to apply BUNDLE to more expressive DLs, such as
$\mathcal{SHOIN}(\textbf{D})$
that is at the basis of OWL DL, instantiated explanations must be found. In this paper, we discuss how we extended BUNDLE in order to compute instantiated explanations for
$\mathcal{SHOIN}(\textbf{D})$
.