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.
|
Modifier and Type | Method and Description |
---|---|
Reasoner |
OntModelSpec.getReasoner()
Answer the reasoner that will be used to infer additional entailed
triples in the ontology model.
|
Modifier and Type | Method and Description |
---|---|
void |
OntModelSpec.setReasoner(Reasoner reasoner)
Set the reasoner that will be used by ontology models that conform
to this specification to compute entailments.
|
Modifier and Type | Method and Description |
---|---|
Reasoner |
OntModelImpl.getReasoner()
Return the Reasoner which is being used to answer queries to this graph.
|
Modifier and Type | Method and Description |
---|---|
Reasoner |
InfModel.getReasoner()
Return the Reasoner which is being used to answer queries to this graph.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Method and Description |
---|---|
Reasoner |
InfModelImpl.getReasoner()
Return the Reasoner which is being used to answer queries to this graph.
|
Modifier and Type | Method and 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 |
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.
|
Constructor and Description |
---|
BaseInfGraph(Graph data,
Reasoner reasoner)
Constructor
|
Modifier and Type | Interface and 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.
|
Modifier and Type | Class and 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.
|
Modifier and Type | Method and Description |
---|---|
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
|
Constructor and Description |
---|
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.
|
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.
|
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,
Graph schema)
Constructor.
|
RETERuleInfGraph(Reasoner reasoner,
List<Rule> rules,
Graph schema)
Constructor.
|
RETERuleInfGraph(Reasoner reasoner,
List<Rule> rules,
Graph schema,
Graph data)
Constructor.
|
Modifier and Type | Method and 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).
|
Modifier and Type | Class and Description |
---|---|
class |
TransitiveReasoner
A simple "reasoner" used to help with API development.
|
Modifier and Type | Method and 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
|
Licenced under the Apache License, Version 2.0