@article { DoNR02, title = {Description Logics of Minimal Knowledge and Negation as Failure}, volume = {3}, number = {2}, year = {2002}, pages = {1{\textendash}49}, author = {Francesco M. Donini and D. Nardi and Riccardo Rosati} }