Rules Power
- Rules proposal adds significant expressive power to OWL DL
- Combination is Undecidable (via role value maps)
- Rules appear to go beyond basic Horn
- Conjunctive consequent (head)
- Class descriptions (not just class names)
- (In)equalities
- But just "syntactic sugar" (could be captured in basic Horn rules)
- Conjunctive consequents transform to multiple rules (via Lloyd-Topor)
- Descriptions given names in an OWL ontology
- differentFrom(x,y) ⇒ C(x) ∧ D(y) where C and D are disjoint
- sameAs(x,y) ⇒ P(x,x) ∧ P(x,y) where P is functional