Adding epistemic operators to description logics

Publication
Artificial Intelligence