Class OWLMiniReasonerFactory

All Implemented Interfaces:

public class OWLMiniReasonerFactory extends 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 Details

  • Constructor Details

    • OWLMiniReasonerFactory

      public OWLMiniReasonerFactory()
  • Method Details

    • 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
      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 String getURI()
      Return the URI labelling this type of reasoner
      Specified by:
      getURI in interface ReasonerFactory