Package

net.sansa_stack.inference.spark

forwardchaining

Permalink

package forwardchaining

Visibility
  1. Public
  2. All

Type Members

  1. abstract class AbstractForwardRuleReasoner[V, G <: AbstractRDFGraph[V, G]] extends Logging

    Permalink

    A forward chaining based reasoner.

  2. abstract class AbstractForwardRuleReasonerRDFS[T, G <: AbstractRDFGraph[T, G]] extends TransitiveReasoner

    Permalink

    A forward chaining implementation of the RDFS entailment regime.

  3. trait FixpointIteration[T] extends Logging

    Permalink

    Creates a new RDD by performing bulk iterations using the given step function.

    Creates a new RDD by performing bulk iterations using the given step function. The first RDD the step function returns is the input for the next iteration, the second RDD is the termination criterion. The iterations terminate when either the termination criterion RDD contains no elements or when maxIterations iterations have been performed.

  4. trait ForwardRuleReasoner extends Profiler

    Permalink

    A forward chaining based reasoner.

  5. class ForwardRuleReasonerNaive extends AbstractForwardRuleReasoner[RDD[RDFTriple], RDFGraphNative]

    Permalink

    A naive implementation of the forward chaining based reasoner that does fix-point iteration, i.e.

    A naive implementation of the forward chaining based reasoner that does fix-point iteration, i.e. it applies all rules in each iteration until no new data has been generated. .

  6. class ForwardRuleReasonerOWLHorst extends TransitiveReasoner

    Permalink

    A forward chaining implementation of the OWL Horst entailment regime.

  7. abstract class ForwardRuleReasonerOptimized[V, G <: AbstractRDFGraph[V, G]] extends AbstractForwardRuleReasoner[V, G]

    Permalink

    An optimized implementation of the forward chaining based reasoner.

  8. class ForwardRuleReasonerOptimizedNative extends ForwardRuleReasonerOptimized[RDD[RDFTriple], RDFGraphNative]

    Permalink

    An optimized implementation of the forward chaining based reasoner using Spark data structures and operations.

  9. class ForwardRuleReasonerOptimizedSQL extends ForwardRuleReasonerOptimized[DataFrame, RDFGraphDataFrame]

    Permalink

    An optimized implementation of the forward chaining based reasoner using Spark DataFrames.

  10. class ForwardRuleReasonerRDFS extends TransitiveReasoner

    Permalink

    A forward chaining implementation of the RDFS entailment regime.

  11. class ForwardRuleReasonerRDFSDataframe extends TransitiveReasoner

    Permalink

    A forward chaining implementation of the RDFS entailment regime.

  12. class ForwardRuleReasonerRDFSDataset extends AbstractForwardRuleReasonerRDFS[Dataset[RDFTriple], RDFGraphDataset]

    Permalink

  13. class TransitiveReasoner extends ForwardRuleReasoner

    Permalink

    An engine to compute the transitive closure (TC) for a set of triples given in several datastructures.

Value Members

  1. object FixpointIteration extends Logging

    Permalink

Ungrouped