%0 Conference Paper %1 conf/kr/OrtizRS10 %A Ortiz, Magdalena %A Rudolph, Sebastian %A Simkus, Mantas %B KR %D 2010 %E Lin, Fangzhen %E Sattler, Ulrike %E Truszczynski, Miroslaw %I AAAI Press %K %T Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. %U http://dblp.uni-trier.de/db/conf/kr/kr2010.html#OrtizRS10

@inproceedings{conf/kr/OrtizRS10, added-at = {2023-12-14T14:47:32.000+0100}, author = {Ortiz, Magdalena and Rudolph, Sebastian and Simkus, Mantas}, biburl = {https://www.bibsonomy.org/bibtex/21387de851a21f00f5f38ebfeaeb4b945/admin}, booktitle = {KR}, crossref = {conf/kr/2010}, date = {2010-06-23}, editor = {Lin, Fangzhen and Sattler, Ulrike and Truszczynski, Miroslaw}, ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1296}, interhash = {e34f859873fc2451da80411bc40a9c6b}, intrahash = {1387de851a21f00f5f38ebfeaeb4b945}, keywords = {}, publisher = {AAAI Press}, timestamp = {2023-12-14T14:47:32.000+0100}, title = {Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2010.html#OrtizRS10}, year = 2010 }