An epistemic operator for description logics
Artificial Intelligence
The Description Logic Handbook
The Description Logic Handbook
Privacy-Preserving Reasoning on the SemanticWeb
WI '07 Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
Data Privacy for $\mathcal{ALC}$ Knowledge Bases
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Logical omniscience as a computational complexity problem
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Privacy-Preserving Query Answering in Logic-based Information Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Terminological logics with modal operators
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Self-Referential Justifications in Epistemic Logic
Theory of Computing Systems - Special Issue: Symposium on Computer Science; Guest Editors: Sergei Artemov, Volker Diekert and Alexander Razborov
Fields of logic and computation
Partial realization in dynamic justification logic
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Privacy preserving modules for ontologies
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
| Hi-index | 0.00 |
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.