Tools for adding additional inference rules to a graph.
Tools for adding additional inference rules to a graph. See https://jena.apache.org/documentation/inference/
(add g rules)Given a graph, return a new graph with a reasoner including the given rules. This may be expensive, given that it rebuilds the reasoner for the entire graph.
Given a graph, return a new graph with a reasoner including the given rules. This may be expensive, given that it rebuilds the reasoner for the entire graph.
The OWL rules supported by Jena's mini Reasoner
The OWL rules supported by Jena's mini Reasoner
The maximal set of OWL rules supported by Jena
The maximal set of OWL rules supported by Jena
(rule & {:keys [name body head dir]})Create an implication rule. Takes the following keyword args:
:name - name of the rule
:body - The premesis, or left-hand-side of a rule. Specified as a
data pattern using the arachne.aristotle.graph/AsTriples
protocol.
:head - the consequent, or right-hand-side of a rule. May be a data
pattern or an instance of Rule.
:dir - :forward if the rule is a forward-chaining rule, or :back for
a backward-chaining rule. Defaults to :back.
Create an implication rule. Takes the following keyword args:
:name - name of the rule
:body - The premesis, or left-hand-side of a rule. Specified as a
data pattern using the `arachne.aristotle.graph/AsTriples`
protocol.
:head - the consequent, or right-hand-side of a rule. May be a data
pattern or an instance of Rule.
:dir - :forward if the rule is a forward-chaining rule, or :back for
a backward-chaining rule. Defaults to :back.Rule that calls the built in TableAll directive. This usually desirable, to prevent infinite circular backwards inferences.
Rule that calls the built in TableAll directive. This usually desirable, to prevent infinite circular backwards inferences.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |