Volker Haarslev, Ralf Möller. Optimizing TBox and ABox Reasoning with Pseudo Models. In Franz Baader, Ulrike Sattler, editors, Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Volume 33 of CEUR Workshop Proceedings, pages 153-162, CEUR-WS.org, 2000. [doi]
Abstract is missing.