2012 | OriginalPaper | Chapter
Justified Terminological Reasoning
Author : Thomas Studer
Published in: Perspectives of Systems Informatics
Publisher: Springer Berlin Heidelberg
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
Justification logics are epistemic logics that include explicit justifications for an agent’s knowledge. In the present paper, we introduce a justification logic
$\mathcal{JALC}$
over the description logic
$\mathcal{ALC}$
. We provide a deductive system and a semantics for our logic and we establish soundness and completeness results. Moreover, we show that our logic satisfies the so-called internalization property stating that it internalizes its own notion of proof. We then sketch two applications of
$\mathcal{JALC}$
: (i) the justification terms can be used to generate natural language explanations why an
$\mathcal{ALC}$
statement holds and (ii) the terms can be used to study data privacy issues for description logic knowledge bases.