java.lang.Object
org.apache.jena.reasoner.rulesys.OWLFBRuleReasonerFactory
- All Implemented Interfaces:
ReasonerFactory
Factory class for creating blank instances of the OWL Reasoner.
The reasoner can be configured using three properties (set as properties of the base reasonder URI in a configuration model). These are:
- derivationLogging - if set to true this causes all derivations to
be recorded in an internal data structure for replay through the
getDerivation
method. - traceOn - if set to true this causes all rule firings and deduced triples to be written out to the Logger at INFO level.
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionConstructor method that builds an instance of the associated ReasonerReturn a description of the capabilities of this reasoner encoded in RDF.getURI()
Return the URI labelling this type of reasonerstatic ReasonerFactory
Return the single global instance of this factory
-
Field Details
-
URI
Static URI for this reasoner type- See Also:
-
-
Constructor Details
-
OWLFBRuleReasonerFactory
public OWLFBRuleReasonerFactory()
-
-
Method Details
-
theInstance
Return the single global instance of this factory -
create
Constructor method that builds an instance of the associated Reasoner- Specified by:
create
in interfaceReasonerFactory
- Parameters:
configuration
- a set of arbitrary configuration information to be passed the reasoner encoded within an RDF graph
-
getCapabilities
Return a description of the capabilities of this reasoner encoded in RDF. This method is normally called by the ReasonerRegistry which caches the resulting information so dynamically creating here is not really an overhead.- Specified by:
getCapabilities
in interfaceReasonerFactory
-
getURI
Return the URI labelling this type of reasoner- Specified by:
getURI
in interfaceReasonerFactory
-