From Semantic Web Technologies
Semantic Web Ontology Languages
Tutorial at Informatik 2009, Lübeck, Germany, September 2009.
Time & Place: Oct 1 2009, 9:00am – 12:30pm, Room Minsky at Informatik 2009
Ontology languages for the Semantic Web are based on paradigms from knowledge representation and reasoning. The Resource Description Framework RDF and its more expressive counterpart RDF Schema are closely related to semantic networks. The Web Ontology Language OWL is based on description logics. Both languages are a recommended standard by the World Wide Web Consortium (W3C) for modelling ontologies on and for the Semantic Web.
This tutorial introduces RDF, RDF Schema, and OWL in detail. It covers web-enabled syntax based on XML, their formal semantics, logical counterparts, and established inference techniques including description logic tableaux calculi. The tutorial discusses these issues in the context of the broad Semantic Web vision, including many examples, recent applications, and available tools.
In this course, we focus on RDF, RDFS, and OWL (2), using Turtle syntax to emphasize the relation of RDF and OWL. Readers who prefer a view that emphasizes logical aspects can find materials with alternative introductions to OWL 2 on our slides page.
- Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter Patel-Schneider, Sebastian Rudolph, OWL 2 Web Ontology Language: Primer. W3C Working Draft 11 June 2009. Latest version.
- Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Foundations of Semantic Web Technologies. Chapman & Hall / CRC Textbooks in Computing, 2009.
- Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure, Semantic Web – Grundlagen. Springer, 2008.
- W3C OWL Working Group, OWL 2 Web Ontology Language: Document Overview. W3C Working Draft 11 June 2009. Latest version.
PD Dr. Pascal Hitzler is assistant professor at the Kno.e.sis Center, College of Engineering and Computer Science at Wright State University, Dayton, Ohio, USA. His research interests comprise Semantic Web, neural-symbolic integration, knowledge representation and reasoning, and mathematical foundations of artificial intelligence. For further information please see http://www.pascal-hitzler.de.
M.Sc. Markus Krötzsch is a researcher at the University of Karlsruhe (TH), Germany, where he is currently working on his PhD thesis. His research interests involve knowledge representation on the Semantic Web, the logical foundations thereof, and the efficient processing of such knowledge. He is also the lead developer of Semantic MediaWiki and maintainer of the website semanticweb.org. Fur further information, please see http://korrekt.org.
Dr. Sebastian Rudolph is assistant professor at the University of Karlsruhe (TH), Germany. His research interests include knowledge specification and reasoning, logic, algebra, complexity theory as well as semantic search and NLP aspects of knowledge acquisition. He is program chair of the International Conference on Conceptual Structures 2009 and of the International Conference on Formal Concept Analysis 2009. For further information, please see http://www.sebastian-rudolph.de.