Description logics of minimal knowledge and negation as failure

Francesco M. Donini, Daniele Nardi, Riccardo Rosati. Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log., 3(2):177-225, 2002. [doi]

Abstract

Abstract is missing.