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]
@inproceedings{FaddoulH10-0,
title = {Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results},
author = {Jocelyne Faddoul and Volker Haarslev},
year = {2010},
url = {http://ceur-ws.org/Vol-573/paper_18.pdf},
tags = {optimization, algebra},
researchr = {https://researchr.org/publication/FaddoulH10-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
editor = {Volker Haarslev and David Toman and Grant E. Weddell},
volume = {573},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}