An epistemic operator for description logics (1998)

by Francesco M Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
Venue:Artif. Intell