- All Known Subinterfaces:
RuleReasonerFactory
- All Known Implementing Classes:
GenericRuleReasonerFactory
,OWLFBRuleReasonerFactory
,OWLMicroReasonerFactory
,OWLMiniReasonerFactory
,RDFSFBRuleReasonerFactory
,RDFSRuleReasonerFactory
,TransitiveReasonerFactory
,WrappedReasonerFactory
public interface ReasonerFactory
The interface through which a reasoner (inference engine) can be
instantiated. Instances of this are registered with the global
ReasonerRegistry.
-
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 reasoner
-
Method Details
-
create
Constructor method that builds an instance of the associated Reasoner- 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.
-
getCapabilities
Model getCapabilities()Return a description of the capabilities of this reasoner encoded in RDF. These capabilities may be static or may depend on configuration information supplied at construction time. May be null if there are no useful capabilities registered. -
getURI
String getURI()Return the URI labelling this type of reasoner
-