Uses of Interface
com.hp.hpl.jena.reasoner.Derivation

Packages that use Derivation

com.hp.hpl.jena.rdf.model	A package for creating and manipulating RDF graphs.
com.hp.hpl.jena.reasoner	The Jena2 reasoner subsystem is designed to allow a range of inference engines to be plugged into Jena.
com.hp.hpl.jena.reasoner.rulesys	Provides a selection of simple rule engines for Jena inference models.

Uses of Derivation in com.hp.hpl.jena.rdf.model

Methods in com.hp.hpl.jena.rdf.model that return types with arguments of type Derivation

Iterator<Derivation>

InfModel.getDerivation(Statement statement) Return the derivation of the given statement (which should be the result of some previous list operation).

Uses of Derivation in com.hp.hpl.jena.reasoner

Methods in com.hp.hpl.jena.reasoner that return types with arguments of type Derivation

Iterator<Derivation>	BaseInfGraph.getDerivation(Triple triple) Return the derivation of the given triple (which is the result of some previous find operation).
Iterator<Derivation>	InfGraph.getDerivation(Triple triple) Return the derivation of the given triple (which is the result of some previous find operation).

Uses of Derivation in com.hp.hpl.jena.reasoner.rulesys

Classes in com.hp.hpl.jena.reasoner.rulesys that implement Derivation

class

RuleDerivation Derivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner.

Methods in com.hp.hpl.jena.reasoner.rulesys that return types with arguments of type Derivation

Iterator<Derivation>	LPBackwardRuleInfGraph.getDerivation(Triple t) Return the derivation of at triple.
Iterator<Derivation>	BasicForwardRuleInfGraph.getDerivation(Triple t) Return the derivation of at triple.

Methods in com.hp.hpl.jena.reasoner.rulesys with parameters of type Derivation

void	BackwardRuleInfGraphI.logDerivation(Triple t, Derivation derivation) Logger a dervivation record against the given triple.
void	LPBackwardRuleInfGraph.logDerivation(Triple t, Derivation derivation) Log a dervivation record against the given triple.
void	BasicForwardRuleInfGraph.logDerivation(Triple t, Derivation derivation) Log a dervivation record against the given triple.
void	ForwardRuleInfGraphI.logDerivation(Triple t, Derivation derivation) Logger a dervivation record against the given triple.