An Epistemic Operator for Description Logics (1998)

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