Procedural Part, Rules, Actions

• done in LISP (by LISP)

• OWL: under development

  • e.g. ORL; A Proposal for an OWL Rules Language, Horrocks and Patel-Schneider
  • SPARQL
  • KAON2
  • FACT
  • RACER

Notes: