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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Knowledge Representation
- Resource Description Framework
- Logic Programming
- Description Logic
- Semantic Network
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
G. Antoniou. Nonmonotonic Reasoning. MIT Press, 1996.
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.
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, January 2003.
F. Baader and B. Hollunder. Embedding Defaults into Terminological Knowledge Representation Systems. Journal of Automated Reasoning, 14:149–180, 1995.
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.
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.
D. Brickley and R.V. Guha. RDF Vocabulary Description Language – RDF Schema. http://www.w3.org/TR/rdf-schema/, 2004.
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.
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.
Ó. 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.
E. Craig. Ontology. In E. Craig, editor, Routledge Encyclopedia of Philosophy, pages 117–118. Routledge, New York, 1998.
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.
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.
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.
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.
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.
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.
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.
T.R. Gruber. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 6(2):199–221, 1993.
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.
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.
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.
V. Haarslev and R. Möller. Description of the RACER System and its Applicationss. In International Workshop on Description Logics, 2001.
P. Hayes. RDF Semantics. http://www.w3.org/TR/rdf-mt/, 2004.
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.
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.
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.
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.
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.
G. Klyne and J. Carroll. RDF Concepts and Abstract Syntax. http://www.w3.org/TR/rdf-primer/, 2004.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1988.
B. McBride. Jena: Implementing the RDF Model and Syntax Specification. In SemWeb, 2001. http://CEUR-WS.org/Vol-40/mcbride.pdf.
J. McCarthy. Circumscription – A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13(1):27–39, 1980.
J. Minker. Logic and Databases: Past, Present, and Future. AI Magazine, 18(3):21–47, 1997.
R. Moore. Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence, 25(1), 1985.
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.
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.
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.
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.
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.
S. Pepper and G. Moore. XML Topic Maps (XTM) 1.0. http://www.topicmaps.org/xtm/1.0/.
R. Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13:81–132, 1980.
S. Russel and P. Norvig. Artificial Intelligence – A Modern Approach. Prentice-Hall, 1995.
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.
J.F. Sowa. Knowledge Representation. Brooks Cole Publishing, Pacific Grove, CA, USA, 2000.
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.
Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems: Volumes I and II. Computer Science Press, 1989.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)