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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene Ontolgy: Tool for the Unification of Biology. Nature Genetics 25(1), 25–29 (2000)
Derriere, S., Richard, A., Preite-Martinez, A.: An Ontology of Astronomical Object Types for the Virtual Observatory. In: Proc. of the 26th meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities, Prague, Czech Republic, August 21–22, 2006, pp. 17–18 (2006)
Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic 3(2), 177–225 (2002)
Gardiner, T., Horrocks, I., Tsarkov, D.: Automated Benchmarking of Description Logic Reasoners. In: Proc. of DL 2006. CEUR, vol. 189 (2006)
Golbreich, C., Zhang, S., Bodenreider, O.: The Foundational Model of Anatomy in OWL: Experience and Perspectives. Journal of Web Semantics 4(3), 181–195 (2006)
Goodwin, J.: Experiences of using OWL at the Ordnance Survey. In: Proc. of OWL-ED 2005. CEUR, vol. 188 (2005)
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the Right Amount: Extracting Modules from Ontologies. In: Proc. of WWW 2007, pp. 717–726 (2007)
Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–706. Springer, Heidelberg (2001)
Hartel, F.W., de Coronado, S., Dionne, R., Fragoso, G., Golbeck, J.: Modeling a Description Logic Vocabulary for Cancer Research. Journal of Biomedical Informatics 38(2), 114–129 (2005)
Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: Proc. OWL-ED 2007. CEUR, vol. 258 (2007)
Kalyanpur, A., Parsia, B., Hendler, J.: A Tool for Working with Web Ontologies. International Journal on Semantic Web and Information Systems 1(1), 36–49 (2005)
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging Unsatisfiable Classes in OWL Ontologies. Journal of Web Semantics 3(4), 243–366 (2005)
Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 229–243. Springer, Heidelberg (2004)
Lacy, L., Aviles, G., Fraser, K., Gerber, W., Mulvehill, A., Gaskill, R.: Experiences Using OWL in Military Applications. In: Proc. of OWL-ED 05. CEUR, vol. 188 (2005)
Motik, B., Horrocks, I., Sattler, U.: Bridging the Gap Between OWL and Relational Databases. In: Proc. of WWW 2007, pp. 807–816 (2007)
Motik, B., Sattler, U.: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 227–241. Springer, Heidelberg (2006)
Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics using Hypertableaux. In: Proc. of CADE-21. LNCS (LNAI), vol. 4603, pp. 67–83. Springer, Heidelberg (2007)
Patel-Schneider, P.F., Horrocks, I.: OWL 1.1 Web Ontology Language Overview. W3C Member Submission (December 19, 2006), Available at http://www.w3.org/Submission/owl11-overview/
Quillian, M.R.: Semantic Memory. In: Minsky, M. (ed.) Semantic Information Processing, pp. 216–270. MIT Press, Cambridge, MA, USA (1968)
Rector, A., Rogers, J.: Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN. In: Reasoning Web, Second International Summer School, Tutorial Lectures, Lisbon, Portugal, September 4–8 2006, pp. 197–231 (2006)
Ruttenberg, A., Rees, J., Luciano, J.: Experience Using OWL DL for the Exchange of Biological Pathway Information. In: Proc. of OWL-ED 2005. CEUR, vol. 188 (2005)
Sidhu, A., Dillon, T., Chang, E., Sidhu, B.S.: Protein Ontology Development using OWL. In: Proc. of OWL-ED 2005. CEUR, vol. 188 (2005)
Sirin, E., Parsia, B.: Pellet: An OWL DL Reasoner. In: Proc. of DL 2004. CEUR, vol. 104 (2004)
Soergel, D., Lauser, B., Liang, A., Fisseha, F., Keizer, J., Katz, S.: Reengineering Thesauri for New Applications: The AGROVOC Example. Journal of Digital Information 4(4) (2004)
Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Golbreich, C., Horridge, M., Horrocks, I., Motik, B., Shearer, R. (2007). OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. In: Aberer, K., et al. The Semantic Web. ISWC ASWC 2007 2007. Lecture Notes in Computer Science, vol 4825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76298-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-76298-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76297-3
Online ISBN: 978-3-540-76298-0
eBook Packages: Computer ScienceComputer Science (R0)