public class TransitiveReasoner extends Object implements Reasoner
This reasoner caches a transitive closure of the subClass and subProperty graphs. The generated infGraph allows both the direct and closed versions of these properties to be retrieved. The cache is built when the tbox is bound in but if the final data graph contains additional subProperty/subClass declarations then the cache has to be rebuilt.
The triples in the tbox (if present) will also be included in any query. Any of tbox or data graph are allowed to be null.
Modifier and Type | Field and Description |
---|---|
static Node |
directSubClassOf
The direct (minimal) version of the subClassOf property
|
static Node |
directSubPropertyOf
The direct (minimal) version of the subPropertyOf property
|
static Node |
subClassOf
The normal subClassOf property
|
static Node |
subPropertyOf
The normal subPropertyOf property
|
Constructor and Description |
---|
TransitiveReasoner()
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addDescription(Model configSpec,
Resource base)
Add a configuration description for this reasoner into a partial
configuration specification model.
|
InfGraph |
bind(Graph data)
Attach the reasoner to a set of RDF ddata to process.
|
Reasoner |
bindSchema(Graph tbox)
Extracts all of the subClass and subProperty declarations from
the given schema/tbox and caches the resultant graphs.
|
Reasoner |
bindSchema(Model tbox)
Extracts all of the subClass and subProperty declarations from
the given schema/tbox and caches the resultant graphs.
|
Capabilities |
getGraphCapabilities()
Return the Jena Graph Capabilties that the inference graphs generated
by this reasoner are expected to conform to.
|
Model |
getReasonerCapabilities()
Return a description of the capabilities of this reasoner encoded in
RDF.
|
TransitiveGraphCache |
getSubClassCache()
Accessor used during infgraph construction - return the cached
version of the subClass lattice.
|
TransitiveGraphCache |
getSubPropertyCache()
Accessor used during infgraph construction - return the cached
version of the subProperty lattice.
|
Finder |
getTbox()
Accessor used during infgraph construction - return the partially
bound tbox, if any.
|
void |
setDerivationLogging(boolean logOn)
Switch on/off drivation logging.
|
void |
setParameter(Property parameter,
Object value)
Set a configuration paramter for the reasoner.
|
boolean |
supportsProperty(Property property)
Determine whether the given property is recognized and treated specially
by this reasoner.
|
public static final Node directSubPropertyOf
public static final Node directSubClassOf
public static final Node subPropertyOf
public static final Node subClassOf
public Model getReasonerCapabilities()
getReasonerCapabilities
in interface Reasoner
public void addDescription(Model configSpec, Resource base)
addDescription
in interface Reasoner
configSpec
- a Model into which the configuration information should be placedbase
- the Resource to which the configuration parameters should be added.public boolean supportsProperty(Property property)
supportsProperty
in interface Reasoner
property
- the property which we want to ask the reasoner about, given as a Node since
this is part of the SPI rather than APIpublic Reasoner bindSchema(Graph tbox) throws ReasonerException
bindSchema
in interface Reasoner
tbox
- schema containing the property and class declarationsReasonerException
- if the reasoner cannot be
bound to a rule set in this way, for example if the underlying engine
can only accept a single rule set in this way and one rule set has
already been bound in of if the ruleset is illformed.public Reasoner bindSchema(Model tbox) throws ReasonerException
bindSchema
in interface Reasoner
tbox
- schema containing the property and class declarationsReasonerException
- if the reasoner cannot be
bound to a rule set in this way, for example if the underlying engine
can only accept a single rule set in this way and one rule set has
already been bound in of if the ruleset is illformed.public InfGraph bind(Graph data) throws ReasonerException
bind
in interface Reasoner
data
- the RDF data to be processed, some reasoners may restrict
the range of RDF which is legal here (e.g. syntactic restrictions in OWL).ReasonerException
- if the data is ill-formed according to the
constraints imposed by this reasoner.public void setDerivationLogging(boolean logOn)
Default - false.
setDerivationLogging
in interface Reasoner
public void setParameter(Property parameter, Object value)
setParameter
in interface Reasoner
parameter
- the property identifying the parameter to be changedvalue
- the new value for the parameter, typically this is a wrapped
java object like Boolean or Integer.public TransitiveGraphCache getSubPropertyCache()
public TransitiveGraphCache getSubClassCache()
public Finder getTbox()
public Capabilities getGraphCapabilities()
getGraphCapabilities
in interface Reasoner
Licenced under the Apache License, Version 2.0