Rule Atoms
- Atoms can be of the form
- C(x)
- P(x,y)
- sameAs(x,y)
- differentFrom(x,y)
- where
- C is an OWL class
- P is an OWL property
- x is a variable or OWL individual
- y is a variable, OWL individual or OWL data value
- Rules must be safe
- All variables must must occur in antecedent (body)