A Proposal for an OWL Rules Language
by
Peter F. Patel-Schneider
&
Ian Horrocks
Table of contents
Abstract
Overview
Rules Basics
Rule Atoms
Rules Power
Abstract Syntax
Example 1
Example 2
Example 3
Rules -v- Axioms
Rules -v- Axioms (cont'd)
Model-Theoretic Semantics
XML Syntax
Example 1 using extended OWL XML Syntax
Example 2 using extended OWL XML Syntax
Example 3 using extended OWL XML Syntax
Mapping to RDF Graphs
Example 2 using extended OWL RDF Syntax
Extended Example (1)
Extended Example (2)
Extended Example (3)
Extended Example (4)
Conclusions and Future Work
Conclusions and Future Work (cont'd)