Uses of Package
com.hp.hpl.jena.reasoner

Packages that use com.hp.hpl.jena.reasoner

com.hp.hpl.jena.ontology	Provides a set of abstractions and convenience classes for accessing and manipluating ontologies represented in RDF.
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.
com.hp.hpl.jena.reasoner.transitiveReasoner	This package contains a reasoner which supports transitive-reflexive closure of subPropertyOf and subClassOf relations.
com.hp.hpl.jena.util	Miscellaneous collection of utility classes.

Classes in com.hp.hpl.jena.reasoner used by com.hp.hpl.jena.ontology

Reasoner
The minimal interface to which all reasoners (or reasoner adaptors) conform.

ReasonerFactory
The interface through which a reasoner (inference engine) can be instantiated.

Classes in com.hp.hpl.jena.reasoner used by com.hp.hpl.jena.rdf.model

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

InfGraph
Extends the Graph interface to give additional means to query an inferred graph.

Reasoner
The minimal interface to which all reasoners (or reasoner adaptors) conform.

ValidityReport
Data structure used to report the results of validation or consistency checking operations.

Classes in com.hp.hpl.jena.reasoner used by com.hp.hpl.jena.reasoner

BaseInfGraph
A base level implementation of the InfGraph interface.

BaseInfGraph.InfCapabilities
An InfCapabilities notes that size may not be accurate, and some triples may be irremovable.

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

Finder
Minimal interface for preforming simple pattern find operations.

InfGraph
Extends the Graph interface to give additional means to query an inferred graph.

Reasoner
The minimal interface to which all reasoners (or reasoner adaptors) conform.

ReasonerException
Exception signalling some generic problem with the reasoning subsystem.

ReasonerFactory
The interface through which a reasoner (inference engine) can be instantiated.

ReasonerRegistry
A global registry of known reasoner modules.

TriplePattern
Datastructure which defines a triple pattern as used in simple rules and in find interfaces.

ValidityReport
Data structure used to report the results of validation or consistency checking operations.

ValidityReport.Report

Classes in com.hp.hpl.jena.reasoner used by com.hp.hpl.jena.reasoner.rulesys

BaseInfGraph
A base level implementation of the InfGraph interface.

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

Finder
Minimal interface for preforming simple pattern find operations.

InfGraph
Extends the Graph interface to give additional means to query an inferred graph.

Reasoner
The minimal interface to which all reasoners (or reasoner adaptors) conform.

ReasonerException
Exception signalling some generic problem with the reasoning subsystem.

ReasonerFactory
The interface through which a reasoner (inference engine) can be instantiated.

TriplePattern
Datastructure which defines a triple pattern as used in simple rules and in find interfaces.

ValidityReport
Data structure used to report the results of validation or consistency checking operations.

ValidityReport.Report

Classes in com.hp.hpl.jena.reasoner used by com.hp.hpl.jena.reasoner.transitiveReasoner

BaseInfGraph
A base level implementation of the InfGraph interface.

FGraph
Wrapper round a Graph to implement the slighly modified Finder interface.

Finder
Minimal interface for preforming simple pattern find operations.

InfGraph
Extends the Graph interface to give additional means to query an inferred graph.

Reasoner
The minimal interface to which all reasoners (or reasoner adaptors) conform.

ReasonerException
Exception signalling some generic problem with the reasoning subsystem.

ReasonerFactory
The interface through which a reasoner (inference engine) can be instantiated.

TriplePattern
Datastructure which defines a triple pattern as used in simple rules and in find interfaces.

Classes in com.hp.hpl.jena.reasoner used by com.hp.hpl.jena.util

TriplePattern
Datastructure which defines a triple pattern as used in simple rules and in find interfaces.