%0 Conference Paper %1 Golbreich/2007/Leveraging %A Golbreich, Christine %A Horridge, Matthew %A Horrocks, Ian %A Motik, Boris %A Shearer, Rob %B Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea %C Berlin, Heidelberg %D 2007 %E Aberer, Karl %E Choi, Key-Sun %E Noy, Natasha %E Allemang, Dean %E Lee, Kyung-Il %E Nixon, Lyndon J B %E Golbeck, Jennifer %E Mika, Peter %E Maynard, Diana %E Schreiber, Guus %E Cudré-Mauroux, Philippe %I Springer Verlag %K 2007 application_software biology iswc leveraging life owl research_14 science semantic semantic_web technology web %P 169--182 %T OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences %U http://iswc2007.semanticweb.org/papers/169.pdf %V 4825 %X OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear specification for OBO syntax and semantics via a mapping to OWL. This mapping also allows us to apply existing Semantic Web tools and techniques to OBO. We show that Semantic Web reasoners can be used to efficiently reason with OBO ontologies. Furthermore, we show that grounding the OBO language in formal semantics is useful for the ontology development process: using an OWL reasoner, we detected a likely modeling error in one OBO ontology.

@inproceedings{Golbreich/2007/Leveraging, abstract = {OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear specification for OBO syntax and semantics via a mapping to OWL. This mapping also allows us to apply existing Semantic Web tools and techniques to OBO. We show that Semantic Web reasoners can be used to efficiently reason with OBO ontologies. Furthermore, we show that grounding the OBO language in formal semantics is useful for the ontology development process: using an OWL reasoner, we detected a likely modeling error in one OBO ontology.}, added-at = {2007-11-07T19:13:58.000+0100}, address = {Berlin, Heidelberg}, author = {Golbreich, Christine and Horridge, Matthew and Horrocks, Ian and Motik, Boris and Shearer, Rob}, biburl = {https://www.bibsonomy.org/bibtex/20a0d460b8f613cff96c984ad194bf3d5/iswc2007}, booktitle = {Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea}, crossref = {http://data.semanticweb.org/conference/iswc-aswc/2007/proceedings}, editor = {Aberer, Karl and Choi, Key-Sun and Noy, Natasha and Allemang, Dean and Lee, Kyung-Il and Nixon, Lyndon J B and Golbeck, Jennifer and Mika, Peter and Maynard, Diana and Schreiber, Guus and Cudré-Mauroux, Philippe}, interhash = {8e76951562c27a45668665efdc06dcf3}, intrahash = {0a0d460b8f613cff96c984ad194bf3d5}, keywords = {2007 application_software biology iswc leveraging life owl research_14 science semantic semantic_web technology web}, month = {November}, pages = {169--182}, publisher = {Springer Verlag}, series = {LNCS}, timestamp = {2007-11-07T19:20:54.000+0100}, title = {OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences}, url = {http://iswc2007.semanticweb.org/papers/169.pdf}, volume = 4825, year = 2007 }