Adding epistemic operators to description logics

Publication
Artificial Intelligence

Add the full text or supplementary notes for the publication here using Markdown formatting.