Decidable Reasoning in Terminological Knowledge Representation Systems.

Martin Buchheit, Francesco M. Donini, Andrea Schaerf

Browse the full IJCAI paper archive.