Packages

p

net.sansa_stack.inference.flink

forwardchaining

package forwardchaining

Type Members

  1. trait ForwardRuleReasoner extends TransitiveReasoner

    A forward chaining based reasoner.

  2. class ForwardRuleReasonerOWLHorst extends ForwardRuleReasoner

    A forward chaining implementation of the OWL Horst entailment regime.

  3. class ForwardRuleReasonerRDFS extends ForwardRuleReasoner

    A forward chaining implementation of the RDFS entailment regime.

  4. trait TransitiveReasoner extends Profiler

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

Ungrouped