package forwardchaining
Type Members
-
trait
ForwardRuleReasoner extends TransitiveReasoner
A forward chaining based reasoner.
-
class
ForwardRuleReasonerOWLHorst extends ForwardRuleReasoner
A forward chaining implementation of the OWL Horst entailment regime.
-
class
ForwardRuleReasonerRDFS extends ForwardRuleReasoner
A forward chaining implementation of the RDFS entailment regime.
-
trait
TransitiveReasoner extends Profiler
An engine to compute the transitive closure (TC) for a set of triples given in several datastructures.