|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||