Abstract. Justification logics are epistemic logics that include explicit justifications for an agent's knowledge. In the present paper, we introduce a justification logic J ALC over the description logic 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 J ALC: (i) the justification terms can be used to generate natural language explanations why an ALC statement holds and (ii) the terms can be used to study data privacy issues for description logic knowledge bases.
The recent paper REF introduces a combination of description logic and justification logic.
Justified terminological reasoning
PSI 11. Proceedings of the 8th Andrei Ershov Informatics Conference, LNCS
Computer Science