CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Publications  \  InProceedings Page Login  
banner bottom
File Top
ALCrn: A Decidable Terminological Language with Role Negation

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.

@ Proceedings of the 6th Australian Joint Conference on Artificial Intelligence

Editors: Chris Rowles, Huan Liu, and Norman Foo

Publisher: World Scientific Publishing ( Singapore )

Pages: 229 to 235

Date: November, 1993


File Bottom