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

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


Authors:

File Bottom