| java.lang.Object
 com.hp.hpl.jena.reasoner.dig.DIGReasoner
| DIGReasoner | | public class DIGReasoner implements Reasoner(Code) | |
This reasoner is the generator of inf-graphs that can use an external DIG inference engine
to perform DL reasoning tasks.
author:
Ian Dickinson, HP Labs (email)
version:
Release @release@ ($Id: DIGReasoner.java,v 1.12 2008/01/02 12:07:09 andy_seaborne Exp $) |
| Constructor Summary | |
| 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. |
| capabilities | | protected Capabilities capabilities(Code) | | The graph capabilities of the infgraphs generated by this reasoner
|
| m_axioms | | protected Model m_axioms(Code) | | The axioms that provide additional triples based on the language we're processing
|
| m_configuration | | protected Resource m_configuration(Code) | | The original configuration properties, if any
|
| m_extReasonerURL | | protected String m_extReasonerURL(Code) | | The URL to use to connect to the external reasoner
|
| m_ontLang | | protected OntModelSpec m_ontLang(Code) | | The profile of the ontology language we're expecting
|
| m_tbox | | protected Graph m_tbox(Code) | | A graph that contains ontology definition data (tbox)
|
| DIGReasoner | | public DIGReasoner(Graph tbox, ReasonerFactory factory, Resource configuration)(Code) | | Construct a DIG reasoner, that can generate inference graphs binding
an external DIG inference engine (e.g. Racer) to a given source graph.
Parameters:
tbox - Optional schema to bind to this reasoner instance. Unlike other Jenareasoners, pre-binding a tbox to a DIG reasoner does not allow anyefficiencies to be exploited.
Parameters:
factory - The reasoner factory that created this reasoner
Parameters:
configuration - Optional resource to which is attached configurationparameters for this reasoner |
| addDescription | | public void addDescription(Model configSpec, Resource base)(Code) | | Add this reasoner's description to the given configuration model.
Parameters:
configSpec - A configuration model to add this reasoner's configuration to
Parameters:
base - The base URI in the given model to which we will attach the configurationof this reasoner. |
| bind | | public InfGraph bind(Graph data)(Code) | | Bind the given data graph to any existing t-box schema that we have, and answer
the resulting inference graph.
Parameters:
data - A graph containing the source data A new inference graph that will apply the DIG reasoner to the combinationof the tbox and data graphs. |
| configure | | public void configure(Resource configuration)(Code) | | Configure the reasoner using the properties attached to the given config
resource.
Parameters:
configuration - A configuration resource. |
| doSetParameter | | protected boolean doSetParameter(Property parameter, Object value)(Code) | | Set a configuration parameter for the reasoner. The supported parameters
are:
Parameters:
parameter - the property identifying the parameter to be changed
Parameters:
value - the new value for the parameter, typically this is a wrappedjava object like Boolean or Integer. false if the parameter was not known |
| getAxioms | | public Model getAxioms()(Code) | | Answer the model that contains the given axioms for this reasoner, or null if
not defined.
The axioms model |
| getGraphCapabilities | | public Capabilities getGraphCapabilities()(Code) | | Return the Jena Graph Capabilties that the inference graphs generated
by this reasoner are expected to conform to.
|
| getModelSpec | | protected OntModelSpec getModelSpec(String lang)(Code) | | Answer the ont model spec for the given ontology language
Parameters:
lang - The ontology language as a URI The correspondig ont model spec to use (should be no reasoner attached) |
| getOntLangModelSpec | | public OntModelSpec getOntLangModelSpec()(Code) | | Answer the model spec that corresponds to the ontology model type we'll use to
access the terms of the ontology according to language.
The appropriate ont model spec |
| getReasonerCapabilities | | public Model getReasonerCapabilities()(Code) | | Answer the capabilities of this reasoner.
An RDF model denoting the capabilties of the reasoner |
| getReasonerURL | | public String getReasonerURL()(Code) | | Answer the URL to use when connecting to the external reasoner.
The connection URL for the external reasoner as a string |
| getSchema | | public Graph getSchema()(Code) | | Answer the schema (tbox) graph for this reasoner, or null if no schema is defined.
The schema graph, or null |
| setParameter | | public void setParameter(Property parameter, Object value)(Code) | | Set a configuration parameter for the reasoner. The supported parameters
are:
- PROPderivationLogging - set to true to enable recording all rule derivations
- PROPtraceOn - set to true to enable verbose trace information to be sent to the logger INFO channel
Parameters:
parameter - the property identifying the parameter to be changed
Parameters:
value - the new value for the parameter, typically this is a wrappedjava object like Boolean or Integer.
throws:
IllegalParameterException - if the parameter is unknown |
| supportsProperty | | public boolean supportsProperty(Property property)(Code) | | Determine whether the given property is recognized and treated specially
by this reasoner. This is a convenience packaging of a special case of getCapabilities.
Parameters:
property - the property which we want to ask the reasoner about, given as a Node sincethis is part of the SPI rather than API true if the given property is handled specially by the reasoner. |
|
|