Sciweavers

DLOG
2001

Optimizing Reasoning in Description Logics with Qualified Number Restrictions

13 years 5 months ago
Optimizing Reasoning in Description Logics with Qualified Number Restrictions
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus is used to speed-up ABox (and TBox) reasoning in the description logic ALCQHR+ .
Volker Haarslev, Ralf Möller
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where DLOG
Authors Volker Haarslev, Ralf Möller
Comments (0)