ALCRA - ALC with Role Axioms

@inproceedings{Wessel2000ALCRAA,
  title={ALCRA - ALC with Role Axioms},
  author={Michael Wessel and Volker Haarslev and Ralf M{\"o}ller},
  booktitle={Description Logics},
  year={2000}
}
This paper presents a tableaux calculus for deciding the concept satisability problem of the new description logic ALCRA and discusses some open problems. ALCRA augments the description logic ALC with role inclusion axioms of the form S ÆT v R1t : : :tRn. Additionally, all roles are interpreted as disjoint. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.