Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus. Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]
@inproceedings{OrtizRS10,
title = {Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2},
author = {Magdalena Ortiz and Sebastian Rudolph and Mantas Simkus},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1296},
tags = {OWL},
researchr = {https://researchr.org/publication/OrtizRS10},
cites = {0},
citedby = {0},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010},
editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski},
publisher = {AAAI Press},
}