Martina Timmann

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions

Volker Haarslev, Ralf Möller, Martina Timmann, 2001, Description Logics.

Combining Tableau and Algebraic Methods for Reasoning with Qualified Number Restrictions in Description Logics

Volker Haarslev, Ralf Möller, Martina Timmann, 2001 .