An Epistemic Operator for Description Logics

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf. An Epistemic Operator for Description Logics. Artificial Intelligence, 100(1-2):225-274, 1998. [doi]

Abstract

Abstract is missing.