论文信息 - Optimizing Reasoning in Description Logics with Qualified Number Restrictions

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

[1] Volker Haarslev,et al. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions , 2001, Description Logics.

[2] Ian Horrocks,et al. Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[3] Volker Haarslev,et al. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles , 2000, KR.