Jocelyne Faddoul, Volker Haarslev. Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. In Volker Haarslev, David Toman, Grant E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. Volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
Abstract is missing.