%0 Conference Paper %1 conf/kr/HorridgeP10 %A Horridge, Matthew %A Parsia, Bijan %B KR %D 2010 %E Lin, Fangzhen %E Sattler, Ulrike %E Truszczynski, Miroslaw %I AAAI Press %K %T From Justifications Towards Proofs for Ontology Engineering. %U http://dblp.uni-trier.de/db/conf/kr/kr2010.html#HorridgeP10

@inproceedings{conf/kr/HorridgeP10, added-at = {2023-12-14T16:23:53.000+0100}, author = {Horridge, Matthew and Parsia, Bijan}, biburl = {https://www.bibsonomy.org/bibtex/2dfd0c1ad89b2d5cb99f243581fb11b24/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/1263}, interhash = {f7627db427688820800e66ac0016ebe8}, intrahash = {dfd0c1ad89b2d5cb99f243581fb11b24}, keywords = {}, publisher = {AAAI Press}, timestamp = {2023-12-14T16:23:53.000+0100}, title = {From Justifications Towards Proofs for Ontology Engineering.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2010.html#HorridgeP10}, year = 2010 }