forwardchaining

Type Members

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

   

   A forward chaining based reasoner.

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

   

   A forward chaining implementation of the RDFS entailment regime.

3. trait FixpointIteration[T] extends Logging

   

   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

   

   A forward chaining based reasoner.

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

   

   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

   

   A forward chaining implementation of the OWL Horst entailment regime.

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

   

   An optimized implementation of the forward chaining based reasoner.

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

   

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

9. class ForwardRuleReasonerOptimizedSQL extends ForwardRuleReasonerOptimized[DataFrame, RDFGraphDataFrame]

   

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

10. class ForwardRuleReasonerRDFS extends TransitiveReasoner

    

    A forward chaining implementation of the RDFS entailment regime.

11. class ForwardRuleReasonerRDFSDataframe extends TransitiveReasoner

    

    A forward chaining implementation of the RDFS entailment regime.

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

    

13. class TransitiveReasoner extends ForwardRuleReasoner

    

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