"Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive ..."

Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics