|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.hp.hpl.jena.reasoner.dig.DIGReasoner
public class DIGReasoner
This reasoner is the generator of inf-graphs that can use an external DIG inference engine to perform DL reasoning tasks.
Constructor Summary | |
---|---|
DIGReasoner(Graph tbox,
ReasonerFactory factory,
Resource configuration)
Construct a DIG reasoner, that can generate inference graphs binding an external DIG inference engine (e.g. |
Method Summary | |
---|---|
void |
addDescription(Model configSpec,
Resource base)
Add this reasoner's description to the given configuration model. |
InfGraph |
bind(Graph data)
Bind the given data graph to any existing t-box schema that we have, and answer the resulting inference graph. |
Reasoner |
bindSchema(Graph tbox)
Bind a schema, or tbox, to this DIG reasoner. |
Reasoner |
bindSchema(Model tbox)
Bind a schema, or tbox, to this DIG reasoner. |
void |
configure(Resource configuration)
Configure the reasoner using the properties attached to the given config resource. |
Model |
getAxioms()
Answer the model that contains the given axioms for this reasoner, or null if not defined. |
Capabilities |
getGraphCapabilities()
Return the Jena Graph Capabilties that the inference graphs generated by this reasoner are expected to conform to. |
OntModelSpec |
getOntLangModelSpec()
Answer the model spec that corresponds to the ontology model type we'll use to access the terms of the ontology according to language. |
Model |
getReasonerCapabilities()
Answer the capabilities of this reasoner. |
String |
getReasonerURL()
Answer the URL to use when connecting to the external reasoner. |
Graph |
getSchema()
Answer the schema (tbox) graph for this reasoner, or null if no schema is defined. |
void |
setDerivationLogging(boolean logOn)
Not available. |
void |
setParameter(Property parameter,
Object value)
Set a configuration parameter for the reasoner. |
boolean |
supportsProperty(Property property)
Determine whether the given property is recognized and treated specially by this reasoner. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DIGReasoner(Graph tbox, ReasonerFactory factory, Resource configuration)
Construct a DIG reasoner, that can generate inference graphs binding an external DIG inference engine (e.g. Racer) to a given source graph.
tbox
- Optional schema to bind to this reasoner instance. Unlike other Jena
reasoners, pre-binding a tbox to a DIG reasoner does not allow any
efficiencies to be exploited.factory
- The reasoner factory that created this reasonerconfiguration
- Optional resource to which is attached configuration
parameters for this reasonerMethod Detail |
---|
public Reasoner bindSchema(Graph tbox)
Bind a schema, or tbox, to this DIG reasoner. This does not have any efficiency value in DIG reasoners, since we must re-load the entire tbox into each new instance of a DIG inference graph.
bindSchema
in interface Reasoner
tbox
- The graph containing the ontology (tbox) data
Reasoner.bindSchema(com.hp.hpl.jena.graph.Graph)
public Reasoner bindSchema(Model tbox)
Bind a schema, or tbox, to this DIG reasoner. This does not have any efficiency value in DIG reasoners, since we must re-load the entire tbox into each new instance of a DIG inference graph.
bindSchema
in interface Reasoner
tbox
- A model wrapping the graph containing the ontology (tbox) data
Reasoner.bindSchema(com.hp.hpl.jena.graph.Graph)
public InfGraph bind(Graph data)
Bind the given data graph to any existing t-box schema that we have, and answer the resulting inference graph.
bind
in interface Reasoner
data
- A graph containing the source data
public void setDerivationLogging(boolean logOn)
setDerivationLogging
in interface Reasoner
UnsupportedOperationException
public Model getReasonerCapabilities()
Answer the capabilities of this reasoner.
getReasonerCapabilities
in interface Reasoner
public void addDescription(Model configSpec, Resource base)
Add this reasoner's description to the given configuration model.
addDescription
in interface Reasoner
configSpec
- A configuration model to add this reasoner's configuration tobase
- The base URI in the given model to which we will attach the configuration
of this reasoner.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 API
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.
IllegalParameterException
- if the parameter is unknownpublic void configure(Resource configuration)
Configure the reasoner using the properties attached to the given config resource.
configuration
- A configuration resource.public String getReasonerURL()
Answer the URL to use when connecting to the external reasoner.
public OntModelSpec getOntLangModelSpec()
Answer the model spec that corresponds to the ontology model type we'll use to access the terms of the ontology according to language.
public Graph getSchema()
Answer the schema (tbox) graph for this reasoner, or null if no schema is defined.
public Model getAxioms()
Answer the model that contains the given axioms for this reasoner, or null if not defined.
public Capabilities getGraphCapabilities()
getGraphCapabilities
in interface Reasoner
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |