Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)

The Interdisciplinary Reach of Artificial Intelligence

Pasadena Conference Center

Sponsored by The International Joint Conferences on Artificial Intelligence (IJCAI) and The Association for the Advancement of Artificial Intelligence (AAAI)

IJCAI-09 Tutorial Program and Schedule - MA5
Monday, July 13, 8:30 am - 12:30 pm


Semantic Web Modeling Languages
Pascal Hitzler, Markus Krötzsch and Sebastian Rudolph

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 modeling 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.

Pascal Hitzler is assistant professor at the University of Karlsruhe (TH), Germany. His research interests comprise Semantic Web, neural-symbolic integration, knowledge representation and reasoning, and mathematical foundations of artificial intelligence. For further information please see

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 For further information, please see

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


Site last updated on 6/30/2009