Sciweavers

DLOG
2001

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions

13 years 5 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a standard tableaux calculus is combined with a procedure deciding the satisfiability of linear (in)equations derived from qualified number restrictions. The advances are demonstrated by an empirical evaluation using the description logic system RACER which implements TBox and ABox reasoning for ALCQHIR+ . The evaluation demonstrates a dramatic speed up compared to other known approaches.
Volker Haarslev, Martina Timmann, Ralf Möller
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where DLOG
Authors Volker Haarslev, Martina Timmann, Ralf Möller
Comments (0)