Skip to main content
SpringerLink
Log in
Book cover

Semantic Web Services pp 51–105Cite as

Knowledge Representation and Ontologies

  • Chapter

In Artificial Intelligence, knowledge representation studies the formalisation of knowledge and its processing within machines. Techniques of automated reasoning allow a computer system to draw conclusions from knowledge represented in a machine-interpretable form. Recently, ontologies have evolved in computer science as computational artefacts to provide computer systems with a conceptual yet computational model of a particular domain of interest. In this way, computer systems can base decisions on reasoning about domain knowledge, similar to humans. This chapter gives an overview on basic knowledge representation aspects and on ontologies as used within computer systems. After introducing ontologies in terms of their appearance, usage and classification, it addresses concrete ontology languages that are particularly important in the context of the Semantic Web. The most recent and predominant ontology languages and formalisms are presented in relation to each other and a selection of them is discussed in more detail.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Antoniou. Nonmonotonic Reasoning. MIT Press, 1996.

    Google Scholar 

  2. F. Baader, S. Brandt, , and C. Lutz. Pushing the EL Envelope. In Proceedings of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, UK. Morgan Kaufmann, 2005.

    Google Scholar 

  3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, January 2003.

    Google Scholar 

  4. F. Baader and B. Hollunder. Embedding Defaults into Terminological Knowledge Representation Systems. Journal of Automated Reasoning, 14:149–180, 1995.

    Article  MathSciNet  Google Scholar 

  5. S. Bechhofer, R. Volz, and P. Lord. Cooking the Semantic Web with the OWL API. In Proc. of the First International Semantic Web Conference 2003 (ISWC 2003), October 21-23, 2003, Sanibel Island, Florida, 2003.

    Google Scholar 

  6. P. Bonatti, C. Lutz, and F. Wolter. Description Logics with Circumscription. In Proceedings of the 10th Int. Conference on Principles of Knowledge Representation and Reasoning, KR-06, 2006.

    Google Scholar 

  7. D. Brickley and R.V. Guha. RDF Vocabulary Description Language – RDF Schema. http://www.w3.org/TR/rdf-schema/, 2004.

    Google Scholar 

  8. J. Broekstra, A. Kampman, and F. van Harmelen. Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema. In ISWC ’02: Proceedings of the First International Semantic Web Conference on The Semantic Web, pages 54–68, London, UK, 2002. Springer.

    Google Scholar 

  9. D. Calvanese, G. de Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable Description Logics for Ontologies. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005), 2005.

    Google Scholar 

  10. Ó. Corcho, M. Fernández-López, A. Gómez-Pérez, and Ó. Vicente. Web ODE: An Integrated Workbench for Ontology Representation, Reasoning, and Exchange. In EKAW, p. 138–153, 2002.

    Google Scholar 

  11. E. Craig. Ontology. In E. Craig, editor, Routledge Encyclopedia of Philosophy, pages 117–118. Routledge, New York, 1998.

    Google Scholar 

  12. S. Decker, M. Erdmann, D. Fensel, and R. Studer. Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information. In Semantic Issues in Multimedia Systems. Proceedings of DS-8, pages 351–369, 1999.

    Google Scholar 

  13. M. Dimitrov, A. Simov, V. Momtchev, and D. Ognyanov. WSMO Studio - An Integrated Service Environment for WSMO. In Proc. of the 2nd WSMO Impl. Workshop, Innsbruck, Austria, 2005.

    Google Scholar 

  14. F.M. Donini, D. Nardi, and R. Rosati. Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic, 3(2):177–225, 2002.

    Article  MathSciNet  Google Scholar 

  15. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In L. P. Kaelbling and A. Saffiotti, editors, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), 2005.

    Google Scholar 

  16. O. Etzioni, K. Golden, and D. Weld. Tractable Closed World Reasoning with Updates. In Proceedings of the 4th International Conference on Knowledege Representation and Reasoning (KR-1994), pages 178–189. Morgan Kaufmann, 1994.

    Google Scholar 

  17. A. Gangemi, aN. Guarino, C. Masolo, A. Oltramari, and L. Schneider. Sweetening Ontologies with DOLCE. In EKAW-02: Proceedings of the 13th Int. Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, pages 166–181. Springer, 2002.

    Google Scholar 

  18. B. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logics. In Proceedings of WWW-2003, Budapest, Hungary, pages 48–57. ACM, 2003.

    Google Scholar 

  19. T.R. Gruber. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 6(2):199–221, 1993.

    Article  Google Scholar 

  20. N. Guarino. Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration. In M.T. Pazienza, editor, Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology, number 1299 in LNCS, pages 139–170. Springer-Verlag, 1997.

    Google Scholar 

  21. N. Guarino. Formal Ontology and Information Systems, Preface. In N. Guarino, editor, Proceedings of the 1st International Conference on Formal Ontologies in Information Systems, FOIS-98, Trento, Italy, pages 3–15. IOS Press, 1998.

    Google Scholar 

  22. N. Noy M. Musen H. Knublauch, R. Fergerson. The Protege OWL Plugin: An Open Development Environment for Semantic Web Applications. Proceedings of the 3rd International Semantic Web Conference (ISWC), 2004.

    Google Scholar 

  23. V. Haarslev and R. Möller. Description of the RACER System and its Applicationss. In International Workshop on Description Logics, 2001.

    Google Scholar 

  24. P. Hayes. RDF Semantics. http://www.w3.org/TR/rdf-mt/, 2004.

    Google Scholar 

  25. I. Horrocks. Using an Expressive Description Logic: FaCT or Fiction? In Proceedings of the 6th International Conference on Knowledege Representation and Reasoning (KR1998), pages 636–645. Morgan Kaufmann, 1998.

    Google Scholar 

  26. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proceedings of the 13th International World Wide Web Conference (WWW-2004). ACM, 2004.

    Google Scholar 

  27. U. Hustadt, B. Motik, and U. Sattler. Data Complexity of Reasoning in Very Expressive Description Logics. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, UK, pages 466–471. Morgan Kaufmann, 2005.

    Google Scholar 

  28. A. Kalyanpur, B. Parsia, E. Sirin, B. Cuenca Grau, and J. Hendler. Swoop: A Web Ontology Editing Browser. Journal of Web Semantics, 4(2):144–153, 2006. http://dx.doi.org/10.1016/j.websem.2005.10.001.

    Google Scholar 

  29. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4):741–843, July 1995.

    Article  MATH  MathSciNet  Google Scholar 

  30. G. Klyne and J. Carroll. RDF Concepts and Abstract Syntax. http://www.w3.org/TR/rdf-primer/, 2004.

    Google Scholar 

  31. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1988.

    Google Scholar 

  32. B. McBride. Jena: Implementing the RDF Model and Syntax Specification. In SemWeb, 2001. http://CEUR-WS.org/Vol-40/mcbride.pdf.

    Google Scholar 

  33. J. McCarthy. Circumscription – A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13(1):27–39, 1980.

    Article  MATH  MathSciNet  Google Scholar 

  34. J. Minker. Logic and Databases: Past, Present, and Future. AI Magazine, 18(3):21–47, 1997.

    Google Scholar 

  35. R. Moore. Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence, 25(1), 1985.

    Google Scholar 

  36. B. Motik. On the Properties of Metamodeling in OWL. In Y. Gil, E. Motta, V.R. Benjamins, and M. Musen, editors, Proceedings of the 4th International Semantic Web Conference (ISWC-2005), volume 3729 of LNCS, pages 548–562. Springer-Verlag, 2005.

    Google Scholar 

  37. B. Motik and U. Sattler. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In Miki Hermann and Andrei Voronkov, editors, Proc. of the 13th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006), LNCS, Phnom Penh, Cambodia, November 13–17 2006. Springer.

    Google Scholar 

  38. B. Motik, U. Sattler, and R. Studer. Query Answering for OWL-DL with Rules. In S. A. McIlraith, D. Plexousakis, and F. van Harmelen, editors, Proc. of the 3rd Int. Semantic Web Conf. (ISWC 2004), pages 549–563, Hiroshima, Japan, November 7–11 2004. Springer.

    Google Scholar 

  39. I. Niles and A. Pease. Towards a Standard Upper Ontology. In C. Welty and B. Smith, editors, Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), 2001.

    Google Scholar 

  40. P.F. Patel-Schneider, P. Hayes, and I. Horrocks. OWL Web Ontology Language; Semantics and Abstract Syntax. http://www.w3.org/TR/owl-semantics/, November 2002.

    Google Scholar 

  41. S. Pepper and G. Moore. XML Topic Maps (XTM) 1.0. http://www.topicmaps.org/xtm/1.0/.

    Google Scholar 

  42. R. Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13:81–132, 1980.

    Article  MATH  MathSciNet  Google Scholar 

  43. S. Russel and P. Norvig. Artificial Intelligence – A Modern Approach. Prentice-Hall, 1995.

    Google Scholar 

  44. E. Sirin, B. Parsia, B. Cuenca Grau, A. Kalyanpur, and Y. Katz. Pellet: A Practical OWL-DL Reasoner. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS), 2005. http://mindswap.org/papers/PelletDemo.pdf.

    Google Scholar 

  45. J.F. Sowa. Knowledge Representation. Brooks Cole Publishing, Pacific Grove, CA, USA, 2000.

    Google Scholar 

  46. Y. Sure, M. Erdmann, J. Angele, S. Staab, R. Studer, and D. Wenke. OntoEdit: Collaborative Ontology Development for the Semantic Web. In ISWC ’02: Proceedings of the First International Semantic Web Conference on The Semantic Web, pages 221–235. Springer-Verlag, 2002.

    Google Scholar 

  47. Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems: Volumes I and II. Computer Science Press, 1989.

    Google Scholar 

  48. F. van Harmelen, Z. Huang, H. Stuckenschmidt, and Y. Sure. A Framework for Handling Inconsistency in Changing Ontologies. In Y. Gil, E. Motta, V.R. Benjamins, and M. Musen, editors, Proceedings of the 4th International Semantic Web Conference (ISWC-2005), volume 3729 of LNCS, pages 353–367. Springer-Verlag, 2005.

    Google Scholar 

  49. G. Yang, M. Kifer, and C. Zhao. Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In CoopIS/DOA/ODBASE, pages 671–688, 2003.

    Google Scholar 

  50. M. Yue and L. Zuoquan. Infering with Inconsistent OWL DL Ontology: a Multi-valued Approach. In Proceedings of the International Conference on Semantics in a Networked World, ICSNW-2006, Munich, Germany. Springer-Verlag, 2006.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FZI Research Center for Information Technologies, University of Karlsruhe, Germany

    Grimm ∈st Stephan & Hitzler ∈st Pascal

  2. Institute AIFB, University of Karlsruhe, Germany

    Abecker ∈st Andreas

Authors
  1. Grimm ∈st Stephan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hitzler ∈st Pascal
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abecker ∈st Andreas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Inst. Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, 76128 Karlsruhe, Germany

    Rudi Studer

  2. Forschungszentrum Informatik (FZI), Haid-und-Neu-Str. 10-14, 76131 Karlsruhe, Germany

    Stephan Grimm

  3. Forschungszentrum Informatik (FZI), Haid-und-Neu-Str. 10-14, 76131 Karlsruhe, Germany

    Andreas Abecker

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer

About this chapter

Cite this chapter

Stephan, G., Pascal, H., Andreas, A. (2007). Knowledge Representation and Ontologies. In: Studer, R., Grimm, S., Abecker, A. (eds) Semantic Web Services. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-70894-4_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-70894-4_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70893-3

  • Online ISBN: 978-3-540-70894-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation