| java.lang.Object
 com.hp.hpl.jena.reasoner.transitiveReasoner.TransitiveReasoner
com.hp.hpl.jena.reasoner.rdfsReasoner1.RDFSReasoner
| Constructor Summary | |
| public | RDFSReasoner()
| | public | RDFSReasoner(Resource configuration)
Constructor
Parameters:
configuration - a set of arbitrary configuration information to be passed the reasoner, encoded as RDF properties of a base configuration resource,can be null in no custom configuration is required. | | protected | RDFSReasoner(Finder tbox, TransitiveGraphCache subClassCache, TransitiveGraphCache subPropertyCache, boolean scanProperties)
Private constructor used by bindSchema when
returning a partially bound reasoner instance. |
| Method Summary | |
| 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 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 parameter for the reasoner. | | public boolean | supportsProperty(Property property)
Determine whether the given property is recognized and treated specially
by this reasoner. |
| domainP | | final public static Node domainP(Code) | | The domain property
|
| rangeP | | final public static Node rangeP(Code) | | The range property
|
| scanProperties | | protected boolean scanProperties(Code) | | Note if the reasoner is configured to scan for member properties
|
| RDFSReasoner | | public RDFSReasoner()(Code) | | Constructor
|
| RDFSReasoner | | public RDFSReasoner(Resource configuration)(Code) | | Constructor
Parameters:
configuration - a set of arbitrary configuration information to be passed the reasoner, encoded as RDF properties of a base configuration resource,can be null in no custom configuration is required. Theonly meaningful configuration property at present is scanProperties. |
| bind | | public InfGraph bind(Graph data) throws ReasonerException(Code) | | 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. 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. |
| bindSchema | | public Reasoner bindSchema(Graph tbox) throws ReasonerException(Code) | | Extracts all of the subClass and subProperty declarations from
the given schema/tbox and caches the resultant graphs.
It can only be used once, can't stack up multiple tboxes this way.
This limitation could be lifted - the only difficulty is the need to
reprocess all the earlier tboxes if a new subPropertyOf subPropertyOf
subClassOf is discovered.
Parameters:
tbox - schema containing the property and class declarations |
| setDerivationLogging | | public void setDerivationLogging(boolean logOn)(Code) | | 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. This is currently only of relevance
to rule-based reasoners.
Default - false.
|
| setParameter | | public void setParameter(Property parameter, Object value)(Code) | | Set a configuration parameter for the reasoner. The only supported parameter at present is:
are:
- RDFSReasonerFactory.scanProperties - set this to Boolean true to
enable scanning of all properties looking for container membership properties, default on.
Parameters:
parameter - the property identifying the parameter to be changed
Parameters:
value - the new value for the parameter, typically this is a wrappedjava object like Boolean or Integer. |
| supportsProperty | | public boolean supportsProperty(Property property)(Code) | | Determine whether the given property is recognized and treated specially
by this reasoner. This is a convenience packaging of a special case of getCapabilities.
Parameters:
property - the property which we want to ask the reasoner about, given as a Node sincethis is part of the SPI rather than API true if the given property is handled specially by the reasoner. |
|
|