An RDFS reasoner that has been bound to both a TBox and an ABox.
It cannot be bound any futher. Once this Bound reasoner has been
created all the class, property and associated declarations have
been extracted and cached and all queries are answerable directly
from the cached results or from query rewrites.
Initially the subClass/subProperty caches are shared with
the parent RDFSReasoner so they can be shared across instance data.
However, if any update includes any such declarations then the caches
have to be cloned and separated.
author: Dave Reynolds version: $Revision: 1.25 $ on $Date: 2008/01/02 12:06:44 $
findNested(TriplePattern pattern, Finder continuation, HashSet firedRules) Variant on find called by backward rules, additional
argument used to pass set of instantiated rules to prevent
run-away rule firing.
findWithContinuation(TriplePattern pattern, Finder continuation) Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
If this is set to true then when a reasoner instance is constructed
the whole data graph is scanned to detect all properties and the
results are cached.
getSchemaGraph() Return the schema graph, if any, bound into this inference graph.
public boolean
isProperty(Node prop) Variant on find called by special backward rules that need
to list check for a specific preregistered property.
public void
prepare() Perform any initial processing and caching.
public void
setScanProperties(boolean scanProperties) Sets the scanProperties flag
If this is set to true then when a reasoner instance is constructed
the whole data graph is scanned to detect all properties and the
results are cached.
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query. It will
attempt to answer the pattern but if its answers are not known
to be complete then it will also pass the request on to the nested
Finder to append more results.
Parameters: pattern - a TriplePattern to be matched against the data Parameters: continuation - either a Finder or a normal Graph whichwill be asked for additional match results if the implementormay not have completely satisfied the query.
If this is set to true then when a reasoner instance is constructed
the whole data graph is scanned to detect all properties and the
results are cached. This is expensive but without this
some cases of rdf:_n properties will not be handled.
This method is just here for development purposes and will
be replaced by the configuration machinery
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.
setScanProperties
public void setScanProperties(boolean scanProperties)(Code)
Sets the scanProperties flag
If this is set to true then when a reasoner instance is constructed
the whole data graph is scanned to detect all properties and the
results are cached. This is expensive but without this
some cases of rdf:_n properties will not be handled.
This method is just here for development purposes and will
be replaced by the configuration machinery
Parameters: scanProperties - The scanProperties to set
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
Fields inherited from com.hp.hpl.jena.reasoner.BaseInfGraph