Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.

Volker Haarslev, Ralf Mller, Anni-Yasmin Turhan

Browse the full CADE paper archive.