ALCRA - ALC with Role Axioms

  title={ALCRA - ALC with Role Axioms},
  author={Michael Wessel and Volker Haarslev and Ralf M{\"o}ller},
  booktitle={Description Logics},
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.