net.sansa_stack.inference.spark.forwardchaining
Applies forward chaining to the given RDF graph and returns a new RDF graph that contains all additional triples based on the underlying set of rules.
Applies forward chaining to the given RDF graph and returns a new RDF graph that contains all additional triples based on the underlying set of rules.
the RDF graph
the materialized RDF graph
Computes the transitive closure for a Dataframe of triples
Computes the transitive closure for a Dataframe of triples
the Dataframe of triples
a Dataframe containing the transitive closure of the triples
Computes the transitive closure for an RDD of tuples
Computes the transitive closure for an RDD of tuples
the RDD of tuples
an RDD containing the transitive closure of the tuples
Computes the transitive closure for the given predicate on an RDD of triples.
Computes the transitive closure for the given predicate on an RDD of triples.
the RDD of triples
the predicate
an RDD containing the transitive closure of the triples
Computes the transitive closure on an RDD of triples.
Computes the transitive closure on an RDD of triples. Note, that the assumption is that all triples do have the same predicate.
the RDD of triples
an RDD containing the transitive closure of the triples
Computes the transitive closure on a set of triples, i.e.
Computes the transitive closure on a set of triples, i.e. it is computed in-memory by the driver. Note, that the assumption is that all triples do have the same predicate.
the set of triples
a set containing the transitive closure of the triples
Semi-naive computation of the transitive closure T
for an RDD of tuples R=(x,y)
.
Semi-naive computation of the transitive closure T
for an RDD of tuples R=(x,y)
.
(1) T = R (2) ∆T = R (3) while ∆T != ∅ do (4) ∆T = ∆T ◦ R − T (5) T = T ∪ ∆T (6) end
the RDD of tuples (x,y)
an RDD containing the transitive closure of the tuples
Extracts all triples that match the given subject, predicate and object if defined.
Extracts all triples that match the given subject, predicate and object if defined.
the RDD of triples
the subject
the predicate
the object
the RDD of triples that match
Extracts all triples for the given predicate.
Extracts all triples for the given predicate.
the RDD of triples
the predicate
the RDD of triples that contain the predicate
Extracts all triples for the given predicate.
Extracts all triples for the given predicate.
the triples
the predicate
the set of triples that contain the predicate
A forward chaining implementation of the OWL Horst entailment regime.