Accepted Tutorials, May 31st
Tutorial 1: Semantic Web Services and their role within Enterprise Processes and a Service Web
Tutorial 5: OWL 2 Rules (Half Day)
Pascal Hitzler, Markus Kroetzsch and 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 portion of OWL 2 DL is already expressible using rules (called SROIQ Rules). The tractable profile OWL 2 EL can be extended by rules Ð within OWL 2 DL Ð while retaining tractability. Further rules lying outside OWL 2 DL, in particular a generalisation of DL-safe Datalog rules, can further be added while still retaining tractability, resulting in a language called ELP, which covers all three tractable profiles of OWL 2. ELP in turn can be extended by local closed-world reasoning such that data complexity still remains polynomial.