2012
DOI: 10.1007/978-3-642-29709-0_30
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: 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 justif… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2013
2013
2014
2014

Publication Types

Select...
2
1

Relationship

2
1

Authors

Journals

citations
Cited by 3 publications
(2 citation statements)
references
References 15 publications
0
2
0
Order By: Relevance
“…It can be extended, for example, to deal also with the privacy problem for description logic knowledge bases [10]. For this we need a justification logic that is defined over a description logic, which recently has been developed in [11].…”
Section: Resultsmentioning
confidence: 99%
“…It can be extended, for example, to deal also with the privacy problem for description logic knowledge bases [10]. For this we need a justification logic that is defined over a description logic, which recently has been developed in [11].…”
Section: Resultsmentioning
confidence: 99%
“…The recent paper [15] introduces a combination of description logic and justification logic. One of the applications that are mentioned for this combination is data privacy for description logic knowledge bases.…”
Section: Related Workmentioning
confidence: 99%