Uses of Interface
org.apache.jena.reasoner.Derivation
Package
Description
Provides default implementations for the abstractions defined in the
org.apache.jena.ontology
package.A package for creating and manipulating RDF graphs.
This package contains implementations of the interfaces defined
in the .model package, eg ModelCom for Model, ResourceImpl
for Resource, and so on.
The Jena2 reasoner subsystem is designed to allow a range of inference
engines to be plugged into Jena.
Provides a selection of simple rule engines for Jena inference models.
-
Uses of Derivation in org.apache.jena.ontology.impl
Modifier and TypeMethodDescriptionOntModelImpl.getDerivation
(Statement statement) Return the derivation of the given statement (which should be the result of some previous list operation). -
Uses of Derivation in org.apache.jena.rdf.model
Modifier and TypeMethodDescriptionInfModel.getDerivation
(Statement statement) Return the derivation of the given statement (which should be the result of some previous list operation). -
Uses of Derivation in org.apache.jena.rdf.model.impl
Modifier and TypeMethodDescriptionInfModelImpl.getDerivation
(Statement statement) Return the derivation of the given statement (which should be the result of some previous list operation). -
Uses of Derivation in org.apache.jena.reasoner
Modifier and TypeMethodDescriptionBaseInfGraph.getDerivation
(Triple triple) Return the derivation of the given triple (which is the result of some previous find operation).InfGraph.getDerivation
(Triple triple) Return the derivation of the given triple (which is the result of some previous find operation). -
Uses of Derivation in org.apache.jena.reasoner.rulesys
Modifier and TypeClassDescriptionclass
Derivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner.Modifier and TypeMethodDescriptionBasicForwardRuleInfGraph.getDerivation
(Triple t) Return the derivation of at triple.LPBackwardRuleInfGraph.getDerivation
(Triple t) Return the derivation of at triple.Modifier and TypeMethodDescriptionvoid
BackwardRuleInfGraphI.logDerivation
(Triple t, Derivation derivation) Logger a derivation 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 derivation record against the given triple.void
LPBackwardRuleInfGraph.logDerivation
(Triple t, Derivation derivation) Log a derivation record against the given triple.