A full implemention of RDFS reasoning using a hybrid rule system, together
with optimized subclass/subproperty closure using the transitive graph caches.
Implements the container membership property rules using an optional
data scanning hook. Implements datatype range validation.
author: Dave Reynolds version: $Revision: 1.20 $ on $Date: 2008/01/02 12:07:47 $
bind(Graph data) Attach the reasoner to a set of RDF data to process.
The reasoner may already have been bound to specific rules or ontology
axioms (encoded in RDF) through earlier bindRuleset calls.
Parameters: data - the RDF data to be processed, some reasoners may restrictthe range of RDF which is legal here (e.g.
bindSchema(Graph tbox) Precompute the implications of a schema graph.
protected boolean
doSetParameter(Property parameter, Object value) Internal version of setParameter that does not directly raise an
exception on parameters it does not reconize.
Constructor
Parameters: factory - the parent reasoner factory which is consulted to answer capability questions Parameters: configuration - RDF information to configure the rule set and mode, can be null
Attach the reasoner to a set of RDF data to process.
The reasoner may already have been bound to specific rules or ontology
axioms (encoded in RDF) through earlier bindRuleset calls.
Parameters: data - the RDF data to be processed, some reasoners may restrictthe range of RDF which is legal here (e.g. syntactic restrictions in OWL). an inference graph through which the data+reasoner can be queried. throws: ReasonerException - if the data is ill-formed according to theconstraints imposed by this reasoner.
Internal version of setParameter that does not directly raise an
exception on parameters it does not reconize.
false if the parameter was not recognized
