"Decidable and Tractable Rule-based Reasoning in the context of OWL 2 DL"
Sebastian Rudolph

March 5th 2010, 9:30 am
LIRMM - Room E 324

Abstract
The revision 2 of the Web Ontology Language OWL is much richer than its predecessor OWL 1 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.

Short Bio
Dr. Sebastian Rudolph is assistant professor at the Institute AIFB, Karlsruhe Institute of Technology (KIT). He obtained his PhD in mathematics at the Institute for Algebra at the Dresden University of Technology in 2006. His active research interests include algebra, complexity theory, logic, machine learning, optimization, database theory, and computational linguistics. Sebastian coauthored two textbooks on the foundations of the Semantic Web. He is a guest lecturer at Heidelberg University, guest researcher at FZI Karlsruhe, and he was a member of the W3C OWL Working Group. In 2009, he stayed as visiting researcher at the Oxford University Computing Laboratory. For more information, see http://sebastian-rudolph.de/.