Class OWLFBRuleReasonerFactory

  • All Implemented Interfaces:
    ReasonerFactory

    public class OWLFBRuleReasonerFactory
    extends java.lang.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 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

      • OWLFBRuleReasonerFactory

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