| com.hp.hpl.jena.reasoner.InfGraph
All known Subclasses: com.hp.hpl.jena.reasoner.BaseInfGraph,
InfGraph | public interface InfGraph extends Graph(Code) | | Extends the Graph interface to give additional means to query an inferred
graph. Many entailments from the raw data are made to appear as if they
are extract triples in the inferred graph and so appear through the
normal Graph.find interface.
However, here are two extensions required. Firstly, the ability to
ask about global properties of the whole graph (e.g. consistency). Secondly,
the ability to temporarily construct expressions (encoded in RDF) which
form more complex queries.
author: Dave Reynolds version: $Revision: 1.14 $ on $Date: 2008/01/02 12:07:00 $ |
Method Summary | |
public ExtendedIterator | find(Node subject, Node property, Node object, Graph param) An extension of the Graph.find interface which allows the caller to
encode complex expressions in RDF and then refer to those expressions
within the query triple. | public Graph | getDeductionsGraph() Returns a derivations graph. | public Iterator | getDerivation(Triple triple) Return the derivation of the given triple (which is the result of
some previous find operation). | public Node | getGlobalProperty(Node property) Test a global boolean property of the graph. | public Graph | getRawGraph() Return the raw RDF data Graph being processed (i.e. | public Reasoner | getReasoner() Return the Reasoner which is being used to answer queries to this graph. | public void | prepare() Perform any initial processing and caching. | public void | rebind(Graph data) Replace the underlying data graph for this inference graph and start any
inferences over again. | public void | rebind() Cause the inference graph to reconsult the underlying graph to take
into account changes. | public void | reset() Reset any internal caches. | public void | setDerivationLogging(boolean logOn) | public boolean | testGlobalProperty(Node property) A convenience version of getGlobalProperty which can only return
a boolean result. | public ValidityReport | validate() Test the consistency of the bound data. |
find | public ExtendedIterator find(Node subject, Node property, Node object, Graph param)(Code) | | An extension of the Graph.find interface which allows the caller to
encode complex expressions in RDF and then refer to those expressions
within the query triple. For example, one might encode a class expression
and then ask if there are any instances of this class expression in the
InfGraph.
Parameters: subject - the subject Node of the query triple, may be a Node in the graph or a node in the parameter micro-graph or null Parameters: property - the property to be retrieved or null Parameters: object - the object Node of the query triple, may be a Node in the graph or a node in the parameter micro-graph. Parameters: param - a small graph encoding an expression which the subject and/orobject nodes refer. |
getDeductionsGraph | public Graph getDeductionsGraph()(Code) | | Returns a derivations graph. The rule reasoners typically create a
graph containing those triples added to the base graph due to rule firings.
In some applications it can useful to be able to access those deductions
directly, without seeing the raw data which triggered them. In particular,
this allows the forward rules to be used as if they were rewrite transformation
rules.
the deductions graph, if relevant for this class of inferenceengine or null if not. |
getDerivation | public Iterator getDerivation(Triple triple)(Code) | | Return the derivation of the given triple (which is the result of
some previous find operation).
Not all reasoneers will support derivations.
an iterator over Derivation records or null if there is no derivation informationavailable for this triple. |
getGlobalProperty | public Node getGlobalProperty(Node property)(Code) | | Test a global boolean property of the graph. This might included
properties like consistency, OWLSyntacticValidity etc.
It remains to be seen what level of generality is needed here. We could
replace this by a small number of specific tests for common concepts.
Parameters: property - the URI of the property to be tested a Node giving the value of the global property, this may be a boolean literal, some other literal value (e.g. a size). |
getRawGraph | public Graph getRawGraph()(Code) | | Return the raw RDF data Graph being processed (i.e. the argument
to the Reasonder.bind call that created this InfGraph).
|
getReasoner | public Reasoner getReasoner()(Code) | | Return the Reasoner which is being used to answer queries to this graph.
|
prepare | public void prepare()(Code) | | Perform any initial processing and caching. This call is optional. Most
engines either have negligable set up work or will perform an implicit
"prepare" if necessary. The call is provided for those occasions where
substantial preparation work is possible (e.g. running a forward chaining
rule system) and where an application might wish greater control over when
this prepration is done.
|
rebind | public void rebind(Graph data)(Code) | | Replace the underlying data graph for this inference graph and start any
inferences over again. This is primarily using in setting up ontology imports
processing to allow an imports multiunion graph to be inserted between the
inference graph and the raw data, before processing.
Parameters: data - the new raw data graph |
rebind | public void rebind()(Code) | | Cause the inference graph to reconsult the underlying graph to take
into account changes. Normally changes are made through the InfGraph's add and
remove calls are will be handled appropriately. However, in some cases changes
are made "behind the InfGraph's back" and this forces a full reconsult of
the changed data.
|
reset | public void reset()(Code) | | Reset any internal caches. Some systems, such as the tabled backchainer,
retain information after each query. A reset will wipe this information preventing
unbounded memory use at the expense of more expensive future queries. A reset
does not cause the raw data to be reconsulted and so is less expensive than a rebind.
|
setDerivationLogging | public void setDerivationLogging(boolean logOn)(Code) | | Switch on/off drivation logging
|
testGlobalProperty | public boolean testGlobalProperty(Node property)(Code) | | A convenience version of getGlobalProperty which can only return
a boolean result.
|
validate | public ValidityReport validate()(Code) | | Test the consistency of the bound data. This normally tests
the validity of the bound instance data against the bound
schema data.
a ValidityReport structure |
|
|