java.lang.Object
org.apache.jena.reasoner.rulesys.OWLMicroReasonerFactory
- All Implemented Interfaces:
ReasonerFactory
Reasoner factory for the OWL micro configuration.
This only supports:
- RDFS entailments
- basic OWL axioms like ObjectProperty subClassOf Property
- intersectionOf, equivalentClass and forward implication of unionOf sufficient for traversal of explicit class hierarchies
- Property axioms (inversOf, SymmetricProperty, TransitiveProperty, equivalentProperty)
-
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
-
OWLMicroReasonerFactory
public OWLMicroReasonerFactory()
-
-
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
-