Package org.apache.jena.reasoner.rulesys
Class OWLMiniReasonerFactory
- java.lang.Object
-
- org.apache.jena.reasoner.rulesys.OWLMiniReasonerFactory
-
- All Implemented Interfaces:
ReasonerFactory
public class OWLMiniReasonerFactory extends java.lang.Object implements ReasonerFactory
Reasoner factory for the OWL mini configuration. Key limitations over the normal OWL configuration are:- omits the someValuesFrom => bNode entailments
- avoids any guard clauses which would break the find() contract
- omits inheritance of range implications for XSD datatype ranges
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
URI
Static URI for this reasoner type
-
Constructor Summary
Constructors Constructor Description OWLMiniReasonerFactory()
-
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
-
-