Package org.apache.jena.reasoner.rulesys
Class OWLMicroReasonerFactory
- java.lang.Object
-
- org.apache.jena.reasoner.rulesys.OWLMicroReasonerFactory
-
- All Implemented Interfaces:
ReasonerFactory
public class OWLMicroReasonerFactory extends java.lang.Object implements 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
Fields Modifier and Type Field Description static java.lang.String
URI
Static URI for this reasoner type
-
Constructor Summary
Constructors Constructor Description OWLMicroReasonerFactory()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Reasoner
create(Resource configuration)
Constructor method that builds an instance of the associated ReasonerModel
getCapabilities()
Return a description of the capabilities of this reasoner encoded in RDF.java.lang.String
getURI()
Return the URI labelling this type of reasonerstatic ReasonerFactory
theInstance()
Return the single global instance of this factory
-
-
-
Field Detail
-
URI
public static final java.lang.String URI
Static URI for this reasoner type- See Also:
- Constant Field Values
-
-
Method Detail
-
theInstance
public static ReasonerFactory theInstance()
Return the single global instance of this factory
-
create
public Reasoner create(Resource configuration)
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
public Model 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
public java.lang.String getURI()
Return the URI labelling this type of reasoner- Specified by:
getURI
in interfaceReasonerFactory
-
-