# Combining Tableaux and Algebraic Decision Procedures for Dealing with Qualified Number Restrictions in Description Logics

• Published 2001

#### Abstract

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… (More)