Decidable Reasoning in Terminological Knowledge Representation Systems

Open in new window