Package

net.sansa_stack.inference.flink

forwardchaining

Permalink

package forwardchaining

Visibility
  1. Public
  2. All

Type Members

  1. trait ForwardRuleReasoner extends TransitiveReasoner

    Permalink

    A forward chaining based reasoner.

  2. class ForwardRuleReasonerOWLHorst extends ForwardRuleReasoner

    Permalink

    A forward chaining implementation of the OWL Horst entailment regime.

  3. class ForwardRuleReasonerRDFS extends ForwardRuleReasoner

    Permalink

    A forward chaining implementation of the RDFS entailment regime.

  4. trait TransitiveReasoner extends Profiler

    Permalink

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

Ungrouped