Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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.dig |
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(java.lang.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` | `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.
`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.dig

Classes in com.hp.hpl.jena.reasoner.dig that implement Reasoner
`class` | `DIGReasoner` This reasoner is the generator of inf-graphs that can use an external DIG inference engine to perform DL reasoning tasks.

Methods in com.hp.hpl.jena.reasoner.dig that return Reasoner
`Reasoner` | `DIGReasoner.bindSchema(Graph tbox)` Bind a schema, or tbox, to this DIG reasoner.
`Reasoner` | `DIGReasoner.bindSchema(Model tbox)` Bind a schema, or tbox, to this DIG reasoner.
`Reasoner` | `DIGReasonerFactory.create(Resource configuration)` Answer a new DIG reasoner instance, optionally configured with the given configuration resource.
`Reasoner` | `DIGReasonerFactory.createWithDAMLAxioms(Resource configuration)` Answer a new DIG reasoner instance (optionally configured with the given configuration resource) that is pre-loaded with the axioms pertaining to the DAML language.
`Reasoner` | `DIGReasonerFactory.createWithOWLAxioms(Resource configuration)` Answer a new DIG reasoner instance (optionally configured with the given configuration resource) that is pre-loaded with the axioms pertaining to the OWL language.

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

Constructors in com.hp.hpl.jena.reasoner.rulesys with parameters of type Reasoner
`BasicForwardRuleInfGraph(Reasoner reasoner, Graph schema)` Constructor.
`BasicForwardRuleInfGraph(Reasoner reasoner, java.util.List rules, Graph schema)` Constructor.
`BasicForwardRuleInfGraph(Reasoner reasoner, java.util.List rules, Graph schema, Graph data)` Constructor.
`BasicForwardRuleInfGraph(Reasoner reasoner, java.util.List rules, Graph schema, ReificationStyle style)`
`FBRuleInfGraph(Reasoner reasoner, Graph schema)` Constructor.
`FBRuleInfGraph(Reasoner reasoner, java.util.List rules, Graph schema)` Constructor.
`FBRuleInfGraph(Reasoner reasoner, java.util.List rules, Graph schema, Graph data)` Constructor.
`FBRuleInfGraph(Reasoner reasoner, java.util.List 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, java.util.List rules, Graph schema)` Constructor.
`RDFSRuleInfGraph(Reasoner reasoner, java.util.List rules, Graph schema, Graph data)` Constructor.
`RETERuleInfGraph(Reasoner reasoner, Graph schema)` Constructor.
`RETERuleInfGraph(Reasoner reasoner, java.util.List rules, Graph schema)` Constructor.
`RETERuleInfGraph(Reasoner reasoner, java.util.List 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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

Copyright © 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP