Class OWLMicroReasonerFactory

All Implemented Interfaces:

public class OWLMicroReasonerFactory extends 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)
There is some experimental support for the cheaper class restriction handlingly which should not be relied on at this point.
  • Field Details

  • Constructor Details

    • OWLMicroReasonerFactory

      public OWLMicroReasonerFactory()
  • 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