forwardchaining

Type Members

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

   

   A forward chaining based reasoner.

2. trait ForwardRuleReasoner extends Profiler with TransitiveReasoner

   

   A forward chaining based reasoner.

3. 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. .

4. class ForwardRuleReasonerOWLHorst extends ForwardRuleReasoner

   

   A forward chaining implementation of the OWL Horst entailment regime.

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

   

   An optimized implementation of the forward chaining based reasoner.

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

   

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

7. class ForwardRuleReasonerOptimizedSQL extends ForwardRuleReasonerOptimized[DataFrame, RDFGraphDataFrame]

   

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

8. class ForwardRuleReasonerRDFS extends ForwardRuleReasoner

   

   A forward chaining implementation of the RDFS entailment regime.

9. class ForwardRuleReasonerRDFSDataframe extends ForwardRuleReasoner

   

   A forward chaining implementation of the RDFS entailment regime.

10. trait TransitiveReasoner extends Profiler

    

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