Skip to main content
SpringerLink
Log in

Tool Support for Ontology Engineering

  • Chapter
Foundations for the Web of Information and Services

Abstract

The Web Ontology Language (OWL) has been developed and standardised by the World Wide Web Consortium (W3C). It is one of the key technologies underpinning the Semantic Web, but its success has now spread far beyond the Web: it has become the ontology language of choice for a wide range of application domains. One of the key benefits flowing from OWL standardisation has been the development of a huge range of tools and infrastructure that can be used to support the development and deployment of OWL ontologies. These tools are now being used in large scale and commercial ontology development, and are widely recognised as being not simply useful, but essential for the development of the high quality ontologies needed in realistic applications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.oracle.com/technology/tech/semantic_technologies/pdf/oracle%20db%20semantics%20overview%2020080722.pdf.

  2. 2.

    http://protege.stanford.edu/overview/protege-owl.html.

  3. 3.

    http://www.topbraidcomposer.com/.

  4. 4.

    http://neon-toolkit.org/.

  5. 5.

    http://www.co-ode.org/downloads/owldebugger/.

  6. 6.

    http://krono.act.uji.es/people/Ernesto/safety-ontology-reuse.

  7. 7.

    http://krizik.felk.cvut.cz/km/owldiff/.

  8. 8.

    http://www.ihtsdo.org/.

  9. 9.

    http://www.opengalen.org/.

  10. 10.

    http://www.obofoundry.org/.

  11. 11.

    http://www.connectingforhealth.nhs.uk/.

  12. 12.

    http://www.co-ode.org/galen/.

  13. 13.

    http://www.kaiserpermanente.org/.

  14. 14.

    http://krono.act.uji.es/people/Ernesto/safety-ontology-reuse/proSE-current-version.

  15. 15.

    http://krono.act.uji.es/people/Ernesto/contentmap.

  16. 16.

    http://krono.act.uji.es/people/Ernesto/contentcvs.

References

  1. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Log. 69, 5–40 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  3. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. IJCAI-05, Edinburgh, UK, pp. 364–369 (2005)

    Google Scholar 

  4. Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL—a polynomial-time reasoner for life science ontologies. In: Proc. IJCAR’06, Seattle, WA, USA, pp. 287–291 (2006)

    Google Scholar 

  5. Bodenreider, O., Smith, B., Kumar, A., Burgun, A.: Investigating subsumption in SNOMED CT: an exploration into large description logic-based biomedical terminologies. Artif. Intell. Med. 39(3), 183–195 (2007)

    Article  Google Scholar 

  6. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: theory and practice. J. Artif. Intell. Res. 31, 273–318 (2008)

    MATH  MathSciNet  Google Scholar 

  7. Cure, O., Giroud, J.: Ontology-based data quality enhancement for drug databases. In: Proc. of Int. Workshop on Health Care and Life Sciences Data Integration for the Semantic Web (2007)

    Google Scholar 

  8. Derriere, S., Richard, A., Preite-Martinez, A.: An ontology of astronomical object types for the virtual observatory. In: Proc. of Special Session 3 of the 26th Meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities (2006)

    Google Scholar 

  9. Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: experience and perspectives. J. Web Semant. 4(3), 181–195 (2006)

    Article  Google Scholar 

  10. Goodwin, J.: Experiences of using OWL at the ordnance survey. In: Proc. of the First Int. Workshop on OWL Experiences and Directions (OWLED 2005). CEUR Workshop Proceedings, vol. 188 (2005). CEUR. http://ceur-ws.org/

    Google Scholar 

  11. Haarslev, V., Möller, R.: RACER system description. In: Proc. IJCAR 2001, Siena, Italy, pp. 701–706 (2001)

    Google Scholar 

  12. Haarslev, V., Möller, R., Wessel, M.: Querying the semantic web with racer + nRQL. In: Proc. of the KI-2004 Intl. Workshop on Applications of Description Logics (ADL’04) (2004)

    Google Scholar 

  13. Hartel, F.W., de Coronado, S., Dionne, R., Fragoso, G., Golbeck, J.: Modeling a description logic vocabulary for cancer research. J. Biomed. Inform. 38(2), 114–129 (2005)

    Article  Google Scholar 

  14. Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Proc. of the 7th International Semantic Web Conference (ISWC 2008). Lecture Notes in Computer Science, vol. 5318, pp. 323–338. Springer, Berlin (2008)

    Google Scholar 

  15. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\mathcal{SHIQ}\) and RDF to OWL: the making of a web ontology language. J. Web Semant. 1(1), 7–26 (2003)

    Article  Google Scholar 

  16. Horrocks, I., Sattler, U.: A tableaux decision procedure for \(\mathcal{SHOIQ}\). In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 448–453 (2005)

    Google Scholar 

  17. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Log. J. IGPL 8(3), 239–263 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  18. Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic \(\mathcal{SHIQ}\). In: Proc. CADE-17, Pittsburgh, PA, USA, pp. 482–496 (2000)

    Google Scholar 

  19. Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics with a concrete domain in the framework of resolution. In: de Mántaras, R.L., Saitta, L. (eds.) Proc. of the 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, August 22–27, pp. 353–357. IOS Press, Amsterdam (2004)

    Google Scholar 

  20. Hustadt, U., Motik, B., Sattler, U.: Reducing \(\mathcal{SHIQ}^{-}\) description logic to disjunctive Datalog programs. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) Proc. of the 9th Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, June 2–5, pp. 152–162. AAAI Press, Menlo Park (2004)

    Google Scholar 

  21. Hustadt, U., Motik, B., Sattler, U.: A decomposition rule for decision procedures by resolution-based calculi. In: Baader, F., Voronkov, A. (eds.) Proc. of the 11th Int. Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), Montevideo, Uruguay, March 14–18. Lecture Notes in Artificial Intelligence, vol. 3452, pp. 21–35. Springer, Berlin (2005)

    Google Scholar 

  22. Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga Llavori, R.: ContentCVS: a CVS-based collaborative ontology engineering tool (demo). In: Proc. of the 2nd Int. Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009). CEUR Workshop Proceedings, vol. 559 (2009). CEUR. http://ceur-ws.org/

    Google Scholar 

  23. Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga Llavori, R.: Logic-based ontology integration using ContentMap. In: Vallecillo, A., Sagardui, G. (eds.) Proc. of XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), pp. 316–319 (2009)

    Google Scholar 

  24. Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga Llavori, R.: Ontology integration using mappings: towards getting the right logical consequences. In: Proc. of the 6th European Semantic Web Conf. (ESWC 2009). Lecture Notes in Computer Science, vol. 5554, pp. 173–187. Springer, Berlin (2009)

    Google Scholar 

  25. Kershenbaum, A., Fokoue, A., Patel, C., Welty, C., Schonberg, E., Cimino, J., Ma, L., Srinivas, K., Schloss, R., Murdock, J.W.: A view of OWL from the field: use cases and experiences. In: Proc. of the Second Int. Workshop on OWL Experiences and Directions (OWLED 2006). CEUR Workshop Proceedings, vol. 216 (2006). CEUR. http://ceur-ws.org/

    Google Scholar 

  26. Lacy, L., Aviles, G., Fraser, K., Gerber, W., Mulvehill, A., Gaskill, R.: Experiences using OWL in military applications. In: Proc. of the First Int. Workshop on OWL Experiences and Directions (OWLED 2005). CEUR Workshop Proceedings, vol. 188 (2005). CEUR. http://ceur-ws.org/

    Google Scholar 

  27. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 453–458 (2007)

    Google Scholar 

  28. McGuinness, D.L., Fikes, R., Rice, J., Wilder, S.: An environment for merging and testing large ontologies. In: Proc. KR 2000, Breckenridge, CO, USA, pp. 483–493 (2000)

    Google Scholar 

  29. Motik, B., Sattler, U.: A comparison of reasoning techniques for querying large description logic ABoxes. In: Proc. LPAR 2006, pp. 227–241 (2006)

    Google Scholar 

  30. Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165–228 (2009)

    MATH  MathSciNet  Google Scholar 

  31. Nivelle, H.D., Schmidt, R.A., Hustadt, U.: Resolution-based methods for modal logics. Log. J. IGPL 8(3), 265–292 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  32. Noy, N.F., Musen, M.A.: The PROMPT suite: interactive tools for ontology merging and mapping. Int. J. Hum.-Comput. Stud. 59(6), 983–1024 (2003)

    Article  Google Scholar 

  33. OWL 2 Web Ontology Language Overview. W3C Recommendation. Available at http://www.w3.org/TR/owl2-overview/ (27 October 2009)

  34. OWL 2 Web Ontology Language Profiles. W3C Recommendation. Available at http://www.w3.org/TR/owl2-profiles/. (27 October 2009)

  35. Parsia, B., Sirin, E.: Pellet: an OWL-DL reasoner. Poster. In: Proc. ISWC 2004, Hiroshima, Japan (2004)

    Google Scholar 

  36. Rector, A.L., Bechhofer, S., Goble, C.A., Horrocks, I., Nowlan, W.A., Solomon, W.D.: The GRAIL concept modelling language for medical terminology. Artif. Intell. Med. 9(2), 139–171 (1997)

    Article  Google Scholar 

  37. Rosse, C., Mejino, J.V.L.: A reference ontology for biomedical informatics: the foundational model of anatomy. J. Biomed. Inform. 36, 478–500 (2003)

    Article  Google Scholar 

  38. Sidhu, A., Dillon, T., Chang, E., Sidhu, B.S.: Protein ontology development using OWL. In: Proc. of the First Int. Workshop on OWL Experiences and Directions (OWLED 2005). CEUR Workshop Proceedings, vol. 188 (2005). CEUR. http://ceur-ws.org/

    Google Scholar 

  39. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)

    Article  Google Scholar 

  40. Soergel, D., Lauser, B., Liang, A., Fisseha, F., Keizer, J., Katz, S.: Reengineering thesauri for new applications: the AGROVOC example. J. Digit. Inf. 4(4) (2004)

    Google Scholar 

  41. Solomon, W., Roberts, A., Rogers, J.E., Wroe, C.J., Rector, A.L.: Having our cake and eating it too: how the GALEN Intermediate Representation reconciles internal complexity with users’ requirements for appropriateness and simplicity. In: Proc. AMIA 2000, CA, USA, pp. 819–823 (2000)

    Google Scholar 

  42. Spackman, K.A.: SNOMED RT and SNOMEDCT. Promise of an international clinical terminology. MD Comput. 17(6), 29 (2000)

    Google Scholar 

  43. Stevens, R., Baker, P.G., Bechhofer, S., Ng, G., Jacoby, A., Paton, N.W., Goble, C.A., Brass, A.: TAMBIS: transparent access to multiple bioinformatics information sources. Bioinformatics 16(2), 184–186 (2000)

    Article  Google Scholar 

  44. Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006). Lecture Notes in Artificial Intelligence, vol. 4130, pp. 292–297. Springer, Berlin (2006)

    Google Scholar 

  45. Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Proc. IJCAR 2006, Seattle, WA, USA, pp. 292–297 (2006)

    Google Scholar 

  46. Wolstencroft, K., McEntire, R., Stevens, R., Tabernero, L., Brass, A.: Constructing ontology-driven protein family data-bases. Bioinformatics 21(8), 1685–1692 (2005)

    Article  Google Scholar 

  47. Wroe, C.: Is semantic web technology ready for healthcare? In: Proc. of ESWC’06 Industry Forum. CEUR Workshop Proceedings, vol. 194 (2006). CEUR. http://ceur-ws.org/

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Oxford, Oxford, UK

    Ian Horrocks

Authors
  1. Ian Horrocks
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ian Horrocks .

Editor information

Editors and Affiliations

  1. STI Innsbruck, ICT - Technologiepark, University of Innsbruck, Technikerstr. 21a, Innsbruck, 6020, Austria

    Dieter Fensel

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Horrocks, I. (2011). Tool Support for Ontology Engineering. In: Fensel, D. (eds) Foundations for the Web of Information and Services. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19797-0_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19797-0_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19796-3

  • Online ISBN: 978-3-642-19797-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation