Class 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
    • 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 Reasoner
      Model getCapabilities()
      Return a description of the capabilities of this reasoner encoded in RDF.
      java.lang.String getURI()
      Return the URI labelling this type of reasoner
      static ReasonerFactory theInstance()
      Return the single global instance of this factory
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • URI

        public static final java.lang.String URI
        Static URI for this reasoner type
        See Also:
        Constant Field Values
    • Constructor Detail

      • OWLMiniReasonerFactory

        public OWLMiniReasonerFactory()
    • 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 interface ReasonerFactory
        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 interface ReasonerFactory
      • getURI

        public java.lang.String getURI()
        Return the URI labelling this type of reasoner
        Specified by:
        getURI in interface ReasonerFactory