Conclusions and Future Work
- Proposal extends OWL with Rules
- Obvious extensions to OWL abstract
syntax, model-theoretic semantics, XML concrete syntax and RDF/XML syntax
- Provides useful "syntactic sugar", but has same power as basic
Horn clause rules
- Resulting language is undecidable
- Implementation techniques could include:
- Use of FO theorem prover (as in Hoolet/Vampire OWL reasoner)
- Hybrid algorithms (e.g., tableaux+rules)
- "Rules engines"