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+ .

• Type: Conference
• Year: 2001
• Where: DLOG
• Authors: Volker Haarslev, Ralf Möller
• Keywords: Automated Reasoning, Description Logic, Description Logic Alcqhr+, DLOG 2001, So-called Signature Calculus