A hybrid forward/backward implementation of the OWL closure rules - experimental variant.
author: Dave Reynolds version: $Revision: 1.11 $ on $Date: 2008/01/02 12:09:44 $
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.
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.