swrl.pl -- Prolog-based SWRL representation.

author

- Daniel Beßler

 swrl_rule_hash(+Rule, -Hash) is det

Compute the hash a SWRL rule. Internally call term_hash/2.

 swrl_fire(+Rule)

Same as swrl_fire/2 but uses the hash of the rule as label.

Arguments:

Rule	- Prolog-based representation of SWRL rule.

 swrl_fire(+Rule, +Label)

Fires a rule. That is running it over the whole knowledge base and asserting inferred facts. Label is a unique identifier of the rule used to avoid redundancy.

 swrl_assert(+Rule)

Same as swrl_assert/2 but uses the hash of the rule as label.

Arguments:

Rule	- Prolog-based representation of SWRL rule.

 swrl_assert(+Rule, +Label)

Assert SWRL rule in the knowledge base. Label is a unique identifier of the rule used to avoid redundancy.