An epistemic operator for description logics (Q58006974)
Language: