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)