Class OWLFBRuleReasonerFactory

All Implemented Interfaces:

public class OWLFBRuleReasonerFactory extends Object implements ReasonerFactory
Factory class for creating blank instances of the OWL Reasoner.

The reasoner can be configured using three properties (set as properties of the base reasonder URI in a configuration model). These are:

  • derivationLogging - if set to true this causes all derivations to be recorded in an internal data structure for replay through the getDerivation method.
  • traceOn - if set to true this causes all rule firings and deduced triples to be written out to the Logger at INFO level.
  • Field Details

  • Constructor Details

    • OWLFBRuleReasonerFactory

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