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
Full proposal:
http://www.cs.man.ac.uk/~horrocks/DAML/Rules/
Peter F. Patel-Schneider
&
Ian Horrocks
2 of 24