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

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

Package	Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

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