| http://www.w3.org/ns/prov#value | - There are production rule systems, including e.g. CLIPS, which support logical functions, e.g. to overcome the problem of truth maintenance and there are many hybrid systems which combine the production rules approach with logic based semantics and backward-reasoning resolution for logical functions/goals (e.g. DROOLS is working on a combination or Prova) .
|
