From Semantic Web Technologies

Jump to: navigation, search
(Abstract)
Line 6: Line 6:
=== Abstract ===
=== Abstract ===
-
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. OWL 2 can further be extended to cover DL-safe Datalog rules while retaining decidability. This extension further more gives rise to a tractable language called ELP, which covers (most of) all three tractable profiles of OWL 2.
+
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. OWL 2 can further be extended to cover DL-safe Datalog rules while retaining decidability. This extension further more gives rise to a tractable language, which covers (most of) all three tractable profiles of OWL 2.
=== Slides ===
=== Slides ===
forthcoming
forthcoming

Revision as of 02:20, 23 February 2011

OWL and Rules

Lecture at the Reasoning Web Summer School, Galway, Ireland, August 2011.

Lecturer: Pascal Hitzler, Kno.e.sis - Ohio Center of Excellence in Knowledge-enabled Computing, Wright State University, Dayton, Ohio.

Abstract

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. OWL 2 can further be extended to cover DL-safe Datalog rules while retaining decidability. This extension further more gives rise to a tractable language, which covers (most of) all three tractable profiles of OWL 2.

Slides

forthcoming