From Semantic Web Technologies

Jump to: navigation, search

Knowledge Representation and Reasoning for the Semantic Web – OWL 2 Rules

a tutorial at KI 2009, Paderborn, Germany, September 15 2009, 9:00–12:30 a.m.

Speakers: Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph


The revision 2 of the Web Ontology Language OWL is much richer than its predecessor OWL 1.0 with respect to modelling with rules. In particular, a significant amount of rules – meaning first-order rules in the sense of the Semantic web Rule Language SWRL – can be expressed directly in OWL 2 DL. Further rules lying outside OWL 2 DL, in particular a generalization of DL-safe datalog rules, can be added while still retaining decidability and/or tractability.

This tutorial introduces the upcoming OWL 2 knowledge representation language (expected to become a W3C standard by end 2009), and relevant rules fragments and extensions in detail. It is aimed for the theoretician as well as the ontology engineer who would like to learn about the intimate relationship between OWL 2 and rules.


In this course, we focus on logical aspects of OWL and rules, using description logic syntax for introducing OWL 2. Readers who prefer a more RDF-centric view can find materials with alternative introductions to OWL 2 on our slides page.


Speaker Biographies

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

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 community platform. Fur further information, please see

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