%0 Conference Paper %1 Horridge2010 %A Horridge, Matthew %A Parsia, Bijan %B KR: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 %D 2010 %E Lin, Fangzhen %E Sattler, Ulrike %E Truszczynski, Miroslaw %I AAAI Press %K ontology_evaluation %T From Justifications Towards Proofs for Ontology Engineering

@inproceedings{Horridge2010, added-at = {2011-08-09T16:33:51.000+0200}, author = {Horridge, Matthew and Parsia, Bijan}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2ece37e4cbe4a15daeb415311b93d9f67/reynares.e}, booktitle = {KR: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010}, editor = {Lin, Fangzhen and Sattler, Ulrike and Truszczynski, Miroslaw}, ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1263}, interhash = {f7627db427688820800e66ac0016ebe8}, intrahash = {ece37e4cbe4a15daeb415311b93d9f67}, keywords = {ontology_evaluation}, publisher = {AAAI Press}, series = {Principles of Knowledge Representation and Reasoning}, timestamp = {2013-05-17T20:52:01.000+0200}, title = {From Justifications Towards Proofs for Ontology Engineering}, year = 2010 }