From Semantic Web Technologies

Jump to: navigation, search

OWL and Rules

a tutorial at OWLED2011, San Francisco, California, USA, June 2011

Speaker: Pascal Hitzler


The relationship between the Web Ontology Language OWL and rule-based formalisms has been the subject of many discussions and research investigations, some of them controversial. From the many attempts to reconcile the two paradigms, we present some of the newest developments. More precisely, we show which kind of rules can be modeled in the current version of OWL, and we show how OWL can be extended to incorporate rules without compromising OWL design principles.


final version (PDF)


  • Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, Description Logic Rules. In: Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (eds.), Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, Patras, Greece, July 2008. IOS Press, 2008, pp. 80-84.
  • Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, ELP: Tractable Rules for OWL 2. In: Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, pp. 649-664.
  • Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler, A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In: Proceedings of the 20th International World Wide Web Conference, WWW2011, Hyderabad, India, March/April 2011. To appear.
  • Adila Alfa Krisnadhi, Frederick Maier, Pascal Hitzler, OWL and Rules. In: Reasoning Web 2011, Springer LNCS, 2011, to appear.

Speaker Biography

Pascal Hitzler is assistant professor at the Kno.e.sis Center at Wright State University, Dayton, Ohio. His research interests comprise Semantic Web, neural-symbolic integration, knowledge representation and reasoning, and mathematical foundations of artificial intelligence. For further information please see