OBO and OWL: leveraging semantic web technologies for the life sciences

Authors:
Christine Golbreich;Matthew Horridge;Ian Horrocks;Boris Motik;Rob Shearer
Affiliations:
University of Versailles Saint-Quentin, Versailles, France;School of Computer Science, University of Manchester, Manchester, UK;Oxford University Computing Laboratory, Oxford, UK;Oxford University Computing Laboratory, Oxford, UK;Oxford University Computing Laboratory, Oxford, UK
Venue:
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Year:
2007

Citing 9
Cited 3

Description logics of minimal knowledge and negation as failure

ACM Transactions on Computational Logic (TOCL)
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Modeling a description logic vocabulary for cancer research

Journal of Biomedical Informatics
The foundational model of anatomy in OWL: Experience and perspectives

Web Semantics: Science, Services and Agents on the World Wide Web
Just the right amount: extracting modules from ontologies

Proceedings of the 16th international conference on World Wide Web
Bridging the gap between OWL and relational databases

Proceedings of the 16th international conference on World Wide Web
Debugging unsatisfiable classes in OWL ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
A comparison of reasoning techniques for querying large description logic ABoxes

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Ontology consolidation in bioinformatics

APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
Semantic integration of information about orthologs and diseases: The OGO system

Journal of Biomedical Informatics
Review: Where to publish and find ontologies? A survey of ontology libraries

Web Semantics: Science, Services and Agents on the World Wide Web

Quantified Score

Hi-index	0.00

Visualization

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.