Volker Haarslev, Ralf Möller, Michael Wessel. Description Logic Inference Technology: Lessions Learned in the Trenches. In Ian Horrocks, Ulrike Sattler, Frank Wolter, editors, Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. Volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
Abstract is missing.