Method Summary |
|
public void | addDescription(Model configSpec, Resource base) Add a configuration description for this reasoner into a partial
configuration specification model. |
public InfGraph | bind(Graph data) Attach the reasoner to a set of RDF ddata 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. |
public Reasoner | bindSchema(Graph tbox) Extracts all of the subClass and subProperty declarations from
the given schema/tbox and caches the resultant graphs. |
public Reasoner | bindSchema(Model tbox) Extracts all of the subClass and subProperty declarations from
the given schema/tbox and caches the resultant graphs. |
Reasoner | bindSchema(Finder tbox) Extracts all of the subClass and subProperty declarations from
the given schema/tbox and caches the resultant graphs. |
public Capabilities | getGraphCapabilities() Return the Jena Graph Capabilties that the inference graphs generated
by this reasoner are expected to conform to. |
public Model | getReasonerCapabilities() Return a description of the capabilities of this reasoner encoded in
RDF. |
public TransitiveGraphCache | getSubClassCache() Accessor used during infgraph construction - return the cached
version of the subClass lattice. |
public TransitiveGraphCache | getSubPropertyCache() Accessor used during infgraph construction - return the cached
version of the subProperty lattice. |
public Finder | getTbox() Accessor used during infgraph construction - return the partially
bound tbox, if any. |
public void | setDerivationLogging(boolean logOn) Switch on/off drivation logging.
If set to true then the InfGraph created from the bind operation will start
life with recording of derivations switched on. |
public void | setParameter(Property parameter, Object value) Set a configuration paramter for the reasoner. |
public boolean | supportsProperty(Property property) Determine whether the given property is recognized and treated specially
by this reasoner. |