Uses of Interface
com.hp.hpl.jena.reasoner.Reasoner

Packages that use 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.

Uses of Reasoner in com.hp.hpl.jena.ontology

Methods in com.hp.hpl.jena.ontology that return Reasoner

Reasoner

OntModelSpec.getReasoner() Answer the reasoner that will be used to infer additional entailed triples in the ontology model.

Methods in com.hp.hpl.jena.ontology with parameters of type Reasoner

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 com.hp.hpl.jena.rdf.model

Methods in com.hp.hpl.jena.rdf.model that return Reasoner

Reasoner

InfModel.getReasoner() Return the Reasoner which is being used to answer queries to this graph.

Methods in com.hp.hpl.jena.rdf.model with parameters of type Reasoner

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 com.hp.hpl.jena.reasoner

Methods in com.hp.hpl.jena.reasoner that return Reasoner

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 com.hp.hpl.jena.reasoner with parameters of type Reasoner

BaseInfGraph(Graph data, Reasoner reasoner)
Constructor

BaseInfGraph(Graph data, Reasoner reasoner, ReificationStyle style)

Uses of Reasoner in com.hp.hpl.jena.reasoner.rulesys

Subinterfaces of Reasoner in com.hp.hpl.jena.reasoner.rulesys

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 com.hp.hpl.jena.reasoner.rulesys that implement Reasoner

class	BasicForwardRuleReasoner Reasoner implementation which augments or transforms an RDF graph according to a set of rules.
class	DAMLMicroReasoner We do not support DAML inference.
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 implemention of RDFS reasoning using a hybrid rule system, together with optimized subclass/subproperty closure using the transitive graph caches.

Methods in com.hp.hpl.jena.reasoner.rulesys that return Reasoner

Reasoner	RDFSRuleReasoner.bindSchema(Graph tbox) Precompute the implications of a schema graph.
Reasoner	OWLFBRuleReasoner.bindSchema(Graph tbox) Precompute the implications of a schema graph.
Reasoner	BasicForwardRuleReasoner.bindSchema(Graph tbox) Precompute the implications of a schema graph.
Reasoner	FBRuleReasoner.bindSchema(Graph tbox) Precompute the implications of a schema graph.
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	BasicForwardRuleReasoner.bindSchema(Model tbox) Precompute the implications of a schema Model.
Reasoner	FBRuleReasoner.bindSchema(Model tbox) Precompute the implications of a schema Model.
Reasoner	LPBackwardRuleReasoner.bindSchema(Model tbox) Precompute the implications of a schema Model.
Reasoner	GenericRuleReasonerFactory.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	OWLFBRuleReasonerFactory.create(Resource configuration) Constructor method that builds an instance of the associated Reasoner
Reasoner	DAMLMicroReasonerFactory.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
Reasoner	RDFSFBRuleReasonerFactory.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

Constructors in com.hp.hpl.jena.reasoner.rulesys with parameters of type Reasoner

BasicForwardRuleInfGraph(Reasoner reasoner, Graph schema)
Constructor.

BasicForwardRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema)
Constructor.

BasicForwardRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema, Graph data)
Constructor.

BasicForwardRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema, ReificationStyle style)

FBRuleInfGraph(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, List<Rule> rules, Graph schema, ReificationStyle style)

LPBackwardRuleInfGraph(Reasoner reasoner, com.hp.hpl.jena.reasoner.rulesys.impl.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, Graph schema)
Constructor.

RETERuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema)
Constructor.

RETERuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema, Graph data)
Constructor.

Uses of Reasoner in com.hp.hpl.jena.reasoner.transitiveReasoner

Classes in com.hp.hpl.jena.reasoner.transitiveReasoner that implement Reasoner

class

TransitiveReasoner A simple "reasoner" used to help with API development.

Methods in com.hp.hpl.jena.reasoner.transitiveReasoner that return Reasoner

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