Overview
Proposal for
rules extension
to OWL DL and Lite
Extends set of OWL
axioms
to include
Horn clause rules
High-level
abstract syntax
extends
OWL abstract syntax
Model-theoretic semantics
extends
OWL model-theoretic semantics
XML concrete syntax
extends
OWL XML presentation syntax
Mapping to RDF graphs
extends
OWL RDF/XML syntax
Note similarity between rules and
DQL
query patterns
Peter F. Patel-Schneider
&
Ian Horrocks
2 of 24