Sciweavers

KR
2000
Springer

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

13 years 9 months ago
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
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. The ABox description logic system RACE is based on the calculus for ALCNHR+ .
Volker Haarslev, Ralf Möller
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where KR
Authors Volker Haarslev, Ralf Möller
Comments (0)