Epistemic Reasoning in OWL 2 DL
2014
We extend the description logic SROIQ (OWL 2 DL) with the epistemic operator K and argue that unintended effects occur when imposing the semantics traditionally employed. Consequently, we identify the most expressive DL for which the traditional approach can still be adapted. For the epistemic extension of SROIQ and alike expressive DLs, we suggest a revised semantics that behaves more intuitively in these cases and coincides with the traditional semantics on less expressive DLs.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
56
References
0
Citations
NaN
KQI