SWRL (neé OWL Rules)

• Very expressive superset of OWL

• Extends the permissible material conditionals

  • Allows class and property atoms with arbitrary number of variables
  • Used in OWL-S for precondition/effect formulas

• Relies on OWL for much of its expressivity

• Not very closed world/Datalog/Prolog friendly

Notes: