ALCrn: A Decidable Terminological Language with Role Negation
Nov 1993
In this paper we propose a new terminological language, ALCrn, whose main feature is role negation, and we prove that ALCrn is decidable. To this end, a sound and complete algorithm for checking the satisfiability of an ALCrn-knowledge base is presented. Since the language allows negation of arbitrary concepts, all classical decision problems for concept languages are also decidable.