Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles

@inproceedings{Haarslev2000ExpressiveAR,
  title={Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles},
  author={Volker Haarslev and Ralf M{\"o}ller},
  booktitle={KR},
  year={2000}
}
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restrictions, role hierarchies, transitively closed roles, and generalized concept inclusions. 

From This Paper

Figures, tables, and topics from this paper.
60 Citations
14 References
Similar Papers

Similar Papers

Loading similar papers…