arachne.aristotle.inference
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/
addclj
(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.
mini-rulesclj
The OWL rules supported by Jena's mini Reasoner
The OWL rules supported by Jena's mini Reasoner
owl-rulesclj
The maximal set of OWL rules supported by Jena
The maximal set of OWL rules supported by Jena
ruleclj
(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.table-allclj
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 is a website building & hosting documentation for Clojure/Script libraries
× close