Uwe Keller. Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams. In Elena Paslaru Bontas Simperl, Jörg Diederich, Guus Schreiber, editors, Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, Innsbruck, Austria, June 6, 2007. Volume 275 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
@inproceedings{Keller07:1,
title = {Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams},
author = {Uwe Keller},
year = {2007},
url = {http://ceur-ws.org/Vol-275/paper02.pdf},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/Keller07%3A1},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, Innsbruck, Austria, June 6, 2007},
editor = {Elena Paslaru Bontas Simperl and Jörg Diederich and Guus Schreiber},
volume = {275},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}