Uses of Interface
org.apache.jena.reasoner.Derivation
Packages that use 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
Methods in org.apache.jena.ontology.impl that return types with arguments of type DerivationModifier 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
Methods in org.apache.jena.rdf.model that return types with arguments of type DerivationModifier 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
Methods in org.apache.jena.rdf.model.impl that return types with arguments of type DerivationModifier 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
Methods in org.apache.jena.reasoner that return types with arguments of type DerivationModifier 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
Classes in org.apache.jena.reasoner.rulesys that implement DerivationModifier and TypeClassDescriptionclass
Derivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner.Methods in org.apache.jena.reasoner.rulesys that return types with arguments of type DerivationModifier and TypeMethodDescriptionBasicForwardRuleInfGraph.getDerivation
(Triple t) Return the derivation of at triple.LPBackwardRuleInfGraph.getDerivation
(Triple t) Return the derivation of at triple.Methods in org.apache.jena.reasoner.rulesys with parameters of type DerivationModifier 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.