An epistemic operator for description logics (1998)

by F M Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf
Venue:Artificial Intelligence