Uses of Interface
org.apache.jena.reasoner.Reasoner

Packages that use Reasoner

Package	Description
org.apache.jena.ontology	Provides a set of abstractions and convenience classes for accessing and manipluating ontologies represented in RDF.
org.apache.jena.ontology.impl	Provides default implementations for the abstractions defined in the org.apache.jena.ontology package.
org.apache.jena.rdf.model	A package for creating and manipulating RDF graphs.
org.apache.jena.rdf.model.impl	This package contains implementations of the interfaces defined in the .model package, eg ModelCom for Model, ResourceImpl for Resource, and so on.
org.apache.jena.reasoner	The Jena2 reasoner subsystem is designed to allow a range of inference engines to be plugged into Jena.
org.apache.jena.reasoner.rulesys	Provides a selection of simple rule engines for Jena inference models.
org.apache.jena.reasoner.rulesys.impl	Internal implementation objects used by the rule system interpreters and compilers.
org.apache.jena.reasoner.transitiveReasoner	This package contains a reasoner which supports transitive-reflexive closure of subPropertyOf and subClassOf relations.

Uses of Reasoner in org.apache.jena.ontology

Methods in org.apache.jena.ontology that return Reasoner

Modifier and Type	Method	Description
Reasoner	OntModelSpec.getReasoner()	Answer the reasoner that will be used to infer additional entailed triples in the ontology model.

Methods in org.apache.jena.ontology with parameters of type Reasoner

Modifier and Type	Method	Description
void	OntModelSpec.setReasoner(Reasoner reasoner)	Set the reasoner that will be used by ontology models that conform to this specification to compute entailments.

Uses of Reasoner in org.apache.jena.ontology.impl

Methods in org.apache.jena.ontology.impl that return Reasoner

Modifier and Type	Method	Description
Reasoner	OntModelImpl.getReasoner()	Return the Reasoner which is being used to answer queries to this graph.

Uses of Reasoner in org.apache.jena.rdf.model

Methods in org.apache.jena.rdf.model that return Reasoner

Modifier and Type	Method	Description
Reasoner	InfModel.getReasoner()	Return the Reasoner which is being used to answer queries to this graph.

Methods in org.apache.jena.rdf.model with parameters of type Reasoner

Modifier and Type	Method	Description
static InfModel	ModelFactory.createInfModel(Reasoner reasoner, Model model)	Build an inferred model by attaching the given RDF model to the given reasoner.
static InfModel	ModelFactory.createInfModel(Reasoner reasoner, Model schema, Model model)	Build an inferred model by attaching the given RDF model to the given reasoner.

Uses of Reasoner in org.apache.jena.rdf.model.impl

Methods in org.apache.jena.rdf.model.impl that return Reasoner

Modifier and Type	Method	Description
Reasoner	InfModelImpl.getReasoner()	Return the Reasoner which is being used to answer queries to this graph.

Uses of Reasoner in org.apache.jena.reasoner

Methods in org.apache.jena.reasoner that return Reasoner

Modifier and Type	Method	Description
Reasoner	Reasoner.bindSchema(Graph tbox)	This is most commonly used to attach an ontology (a set of tbox axioms in description logics jargon) to a reasoner.
Reasoner	Reasoner.bindSchema(Model tbox)	This is most commonly used to attach an ontology (a set of tbox axioms in description logics jargon) to a reasoner.
Reasoner	ReasonerFactory.create(Resource configuration)	Constructor method that builds an instance of the associated Reasoner
Reasoner	ReasonerRegistry.create(String uri, Resource configuration)	Create and return a new instance of the reasoner identified by the given uri.
static Reasoner	ReasonerRegistry.getOWLMicroReasoner()	Prebuilt standard configuration a micro-OWL reasoner.
static Reasoner	ReasonerRegistry.getOWLMiniReasoner()	Prebuilt mini configuration for the default OWL reasoner.
static Reasoner	ReasonerRegistry.getOWLReasoner()	Prebuilt standard configuration for the default OWL reasoner.
static Reasoner	ReasonerRegistry.getRDFSReasoner()	Return a prebuilt standard configuration for the default RDFS reasoner
static Reasoner	ReasonerRegistry.getRDFSSimpleReasoner()	Return a prebuilt simplified configuration for the default RDFS reasoner
Reasoner	BaseInfGraph.getReasoner()	Return the Reasoner which is being used to answer queries to this graph.
Reasoner	InfGraph.getReasoner()	Return the Reasoner which is being used to answer queries to this graph.
static Reasoner	ReasonerRegistry.getTransitiveReasoner()	Return a prebuilt standard configuration for the default subclass/subproperty transitive closure reasoner.

Constructors in org.apache.jena.reasoner with parameters of type Reasoner

Modifier	Constructor	Description
	BaseInfGraph(Graph data, Reasoner reasoner)	Constructor

Uses of Reasoner in org.apache.jena.reasoner.rulesys

Subinterfaces of Reasoner in org.apache.jena.reasoner.rulesys

Modifier and Type	Interface	Description
interface	RuleReasoner	RuleReasoner - an interface to capture the idea of a Reasoner that relies on Rules; motivated primarily by the testing for ModelSpecs which specify Rules for Reasoners.

Classes in org.apache.jena.reasoner.rulesys that implement Reasoner

Modifier and Type	Class	Description
class	BasicForwardRuleReasoner	Reasoner implementation which augments or transforms an RDF graph according to a set of rules.
class	FBRuleReasoner	Rule-based reasoner interface.
class	GenericRuleReasoner	A reasoner interface that is able to invoke any of the useful rule engine combinations.
class	LPBackwardRuleReasoner	Reasoner implementation which augments or transforms an RDF graph according to a set of rules.
class	OWLFBRuleReasoner	A hybrid forward/backward implementation of the OWL closure rules.
class	OWLMicroReasoner	Reasoner configuration for the OWL micro reasoner.
class	OWLMiniReasoner	Reasoner configuration for the OWL mini reasoner.
class	RDFSFBRuleReasoner	A backward chaining implementation of the RDFS closure rules based upon the basic backward rule interpreter.
class	RDFSForwardRuleReasoner	A pure forward chaining implementation of the RDFS closure rules based upon the basic forward rule interpreter.
class	RDFSRuleReasoner	A full implementation of RDFS reasoning using a hybrid rule system, together with optimized subclass/subproperty closure using the transitive graph caches.

Methods in org.apache.jena.reasoner.rulesys that return Reasoner

Modifier and Type	Method	Description
Reasoner	BasicForwardRuleReasoner.bindSchema(Graph tbox)	Precompute the implications of a schema graph.
Reasoner	BasicForwardRuleReasoner.bindSchema(Model tbox)	Precompute the implications of a schema Model.
Reasoner	FBRuleReasoner.bindSchema(Graph tbox)	Precompute the implications of a schema graph.
Reasoner	FBRuleReasoner.bindSchema(Model tbox)	Precompute the implications of a schema Model.
Reasoner	GenericRuleReasoner.bindSchema(Graph tbox)	Precompute the implications of a schema graph.
Reasoner	LPBackwardRuleReasoner.bindSchema(Graph tbox)	Precompute the implications of a schema graph.
Reasoner	LPBackwardRuleReasoner.bindSchema(Model tbox)	Precompute the implications of a schema Model.
Reasoner	OWLFBRuleReasoner.bindSchema(Graph tbox)	Precompute the implications of a schema graph.
Reasoner	RDFSRuleReasoner.bindSchema(Graph tbox)	Precompute the implications of a schema graph.
Reasoner	GenericRuleReasonerFactory.create(Resource configuration)	Constructor method that builds an instance of the associated Reasoner
Reasoner	OWLFBRuleReasonerFactory.create(Resource configuration)	Constructor method that builds an instance of the associated Reasoner
Reasoner	OWLMicroReasonerFactory.create(Resource configuration)	Constructor method that builds an instance of the associated Reasoner
Reasoner	OWLMiniReasonerFactory.create(Resource configuration)	Constructor method that builds an instance of the associated Reasoner
Reasoner	RDFSFBRuleReasonerFactory.create(Resource configuration)	Constructor method that builds an instance of the associated Reasoner
Reasoner	RDFSRuleReasonerFactory.create(Resource configuration)	Constructor method that builds an instance of the associated Reasoner

Constructors in org.apache.jena.reasoner.rulesys with parameters of type Reasoner

Modifier	Constructor	Description
	BasicForwardRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema)	Constructor.
	BasicForwardRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema, Graph data)	Constructor.
	BasicForwardRuleInfGraph(Reasoner reasoner, Graph schema)	Constructor.
	FBRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema)	Constructor.
	FBRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema, Graph data)	Constructor.
	FBRuleInfGraph(Reasoner reasoner, Graph schema)	Constructor.
	LPBackwardRuleInfGraph(Reasoner reasoner, LPRuleStore ruleStore, Graph data, Graph schema)	Constructor.
	RDFSRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema)	Constructor.
	RDFSRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema, Graph data)	Constructor.
	RETERuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema)	Constructor.
	RETERuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema, Graph data)	Constructor.
	RETERuleInfGraph(Reasoner reasoner, Graph schema)	Constructor.

Uses of Reasoner in org.apache.jena.reasoner.rulesys.impl

Methods in org.apache.jena.reasoner.rulesys.impl that return Reasoner

Modifier and Type	Method	Description
Reasoner	WrappedReasonerFactory.create(Resource ignored)	Answer a Reasoner created according to the underlying factory, and then loaded with this Wrapper's rules (if the Reasoner is a RuleReasoner) and bound to this Wrapper's schemas (in an unspecified order).

Uses of Reasoner in org.apache.jena.reasoner.transitiveReasoner

Classes in org.apache.jena.reasoner.transitiveReasoner that implement Reasoner

Modifier and Type	Class	Description
class	TransitiveReasoner	A simple "reasoner" used to help with API development.

Methods in org.apache.jena.reasoner.transitiveReasoner that return Reasoner

Modifier and Type	Method	Description
Reasoner	TransitiveReasoner.bindSchema(Graph tbox)	Extracts all of the subClass and subProperty declarations from the given schema/tbox and caches the resultant graphs.
Reasoner	TransitiveReasoner.bindSchema(Model tbox)	Extracts all of the subClass and subProperty declarations from the given schema/tbox and caches the resultant graphs.
Reasoner	TransitiveReasonerFactory.create(Resource configuration)	Constructor method that builds an instance of the associated Reasoner