Implementation of a Semantic Web Rule Language (SWRL) reasoner in a set of Prolog rules. SWRL rules are either described in RDF concrete syntax, or using a custom file format.
__init__.pl | ||
---|---|---|
parser.pl -- Prolog-based SWRL representation. | ||
swrl_file_parse/3 | Parses a SWRL file. | |
swrl_phrase_assert/2 | Assert SWRL rule in human readable Syntax as native Prolog rule(s) . | |
swrl_phrase_fire/2 | Fires SWRL rule given in human readable Syntax. | |
swrl_file_load/1 | Loads all or one rule(s) from a SWRL file. | |
swrl_file_unload/1 | Unload previously loaded SWRL file, retracting all the rules that have been asserted so far. | |
swrl.pl -- Prolog-based SWRL representation. | ||
swrl_assert/1 | Same as swrl_assert/2 but uses the hash of the rule as label. | |
swrl_assert/2 | Assert SWRL rule in the knowledge base. | |
swrl_fire/1 | Same as swrl_fire/2 but uses the hash of the rule as label. | |
swrl_fire/2 | Fires a rule. | |
swrl_rule_hash/2 | Compute the hash a SWRL rule. | |
swrlx.pl -- Support for the SWRL Extensions built-in library. | ||
swrlx_make_individual/2 | This predicate provides a controlled way of creating OWL individuals in a rule. |