Review - Decidable Reasoning in Terminological Knowledge Representation Systems

Alon Y. Levy. Review - Decidable Reasoning in Terminological Knowledge Representation Systems. ACM SIGMOD Digital Review, 1, 1999. [doi]

Abstract

Abstract is missing.