Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
M. Ortiz, S. Rudolph, and M. Simkus. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), page 269-279. AAAI Press, (May 2010)
%0 Conference Paper
%1 ortiz2010worfthfoo1a2
%A Ortiz, Magdalena
%A Rudolph, Sebastian
%A Simkus, Mantas
%B Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)
%D 2010
%I AAAI Press
%K 2010 ontorule wp3
%P 269-279
%T Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
%U http://www.aifb.kit.edu/images/1/10/ORS-HornOWL.pdf
@inproceedings{ortiz2010worfthfoo1a2,
added-at = {2011-02-16T10:04:21.000+0100},
author = {Ortiz, Magdalena and Rudolph, Sebastian and Simkus, Mantas},
biburl = {https://www.bibsonomy.org/bibtex/246b4aad54663c7d8a952b5f7df3e58e9/ontorule},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)},
interhash = {e34f859873fc2451da80411bc40a9c6b},
intrahash = {46b4aad54663c7d8a952b5f7df3e58e9},
keywords = {2010 ontorule wp3},
month = may,
pages = {269-279},
publisher = {AAAI Press},
timestamp = {2011-02-16T10:04:21.000+0100},
title = {Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2},
url = {http://www.aifb.kit.edu/images/1/10/ORS-HornOWL.pdf},
year = 2010
}