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.rdfsReasoner1	This package contains an example RDFS reasoner.
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	ReasonerRegistry.create(java.lang.String uri, Resource configuration) Create and return a new instance of the reasoner identified by the given uri.
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
static Reasoner	ReasonerRegistry.getTransitiveReasoner() Return a prebuilt standard configuration for the default subclass/subproperty transitive closure reasoner.
static Reasoner	ReasonerRegistry.getOWLReasoner() Prebuilt standard configuration for the default OWL reasoner.
Reasoner	ReasonerFactory.create(Resource configuration) Constructor method that builds an instance of the associated 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	InfGraph.getReasoner() Return the Reasoner which is being used to answer queries to this graph.
Reasoner	BaseInfGraph.getReasoner() Return the Reasoner which is being used to answer queries to this graph.

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

BaseInfGraph(Graph data, Reasoner reasoner)
Constructor

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

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

class

RDFSReasoner Deprecated. Obsoleted at jena2p4, replaced by RDFSRuleReasoner. An RDFS reasoner suited to modest vocabularies but large instance data. It does eager processing on the class and property declarations and caches the results. This means that the initial creation can be slow. However, if the vocabulary and instance data can be separated then at least the class lattice results can be reused. Instance related rules are implemented using a very simple rewrite system. Triple queries that match a rule are rewritten and reapplied as queries. This is reasonably efficient for fairly ground queries, especially where the predicate is ground. It performs redundant passes over the data for unground queries, especially any that need that might match (*, type, Resource) or (*, type, Property)!

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

Reasoner	RDFSReasonerFactory.create(Resource configuration) Deprecated. Constructor method that builds an instance of the associated Reasoner
Reasoner	RDFSReasoner.bindSchema(Graph tbox) Deprecated. Extracts all of the subClass and subProperty declarations from the given schema/tbox and caches the resultant graphs.

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	TransitiveReasonerFactory.create(Resource configuration) Constructor method that builds an instance of the associated 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.