Decidable Reasoning in Terminological Knowledge Representation Systems

Martin Buchheit, Francesco M. Donini, Andrea Schaerf. Decidable Reasoning in Terminological Knowledge Representation Systems. In IJCAI. pages 704-709, 1993.

Abstract

Abstract is missing.