In proceedings details

  • 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.
  • World Scientific Publishing
  • Margarida Mamede, Luís Monteiro
  • 0
  • 229 to 235
  • 1 Nov 1993