Package it.poliba.sisinflab.tinyme

Class ReasonerFactory

java.lang.Object
it.poliba.sisinflab.tinyme.ReasonerFactory
All Implemented Interfaces:
OWLReasonerFactory
public final class ReasonerFactory
extends Object
implements OWLReasonerFactory
Point to create reasoner instances.
See Also:
Reasoner

  • Constructor Details

  • Method Details

    • newReasoner

      public static Reasoner newReasoner​(OWLOntology ontology)
      Instantiates a new reasoner that reasons over the specified ontology.
      Parameters:
      ontology - Ontology to load into the reasoner.
      Returns:
      New reasoner instance.

    • newReasoner

      public static Reasoner newReasoner​(InputStream stream) throws OWLOntologyCreationException
      Convenience factory method. Refer to newReasoner(OWLOntology).
      Parameters:
      stream - Ontology to load into the reasoner as an input stream.
      Returns:
      New reasoner instance.
      Throws:
      OWLOntologyCreationException - If the ontology cannot be created.

    • newReasoner

      public static Reasoner newReasoner​(String ontologyPath) throws OWLOntologyCreationException
      Convenience factory method. Refer to newReasoner(OWLOntology).
      Parameters:
      ontologyPath - Path of the ontology to load into the reasoner.
      Returns:
      New reasoner instance.
      Throws:
      OWLOntologyCreationException - If the ontology cannot be created.

    • getReasonerName

      public String getReasonerName()
      Description copied from interface: org.semanticweb.owlapi.reasoner.OWLReasonerFactory
      Gets the name of the reasoner created by this factory.
      Specified by:
      getReasonerName in interface OWLReasonerFactory
      Returns:
      A string that represents the name of the reasoner created by this factory.

    • createNonBufferingReasoner

      public OWLReasoner createNonBufferingReasoner​(OWLOntology ontology)
      Description copied from interface: org.semanticweb.owlapi.reasoner.OWLReasonerFactory
      Creates an OWLReasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the ontology manager associated with ontology. The reasoner will listen for ontology changes to the ontologies that it is reasoning over and will always answer queries with respect to the changed ontologies (see OWLReasoner for further details).
      Specified by:
      createNonBufferingReasoner in interface OWLReasonerFactory
      Parameters:
      ontology - The ontology whose imports closure will be reasoned over by the reasoner that is created.
      Returns:
      The reasoner that reasons over the imports closure of the specified ontology. Note that calling this method multiple times with the same manager and ontology will return fresh instances of OWLReasoner.

    • createReasoner

      public OWLReasoner createReasoner​(OWLOntology ontology)
      Description copied from interface: org.semanticweb.owlapi.reasoner.OWLReasonerFactory
      Creates a buffering reasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the ontology manager associated with ontology. The reasoner will listen for ontology changes to the ontologies it is reasoning over but will only answer queries with respect to the changed ontologies when the OWLReasoner.flush() method is called (see OWLReasoner for further details).
      Specified by:
      createReasoner in interface OWLReasonerFactory
      Parameters:
      ontology - The ontology whose imports closure will be reasoned over by the reasoner that is created.
      Returns:
      The reasoner that reasons over the imports closure of the specified ontology. Note that calling this method multiple times with the same manager and ontology will return fresh instances of OWLReasoner.

    • createNonBufferingReasoner

      public OWLReasoner createNonBufferingReasoner​(OWLOntology ontology, OWLReasonerConfiguration config)
      Description copied from interface: org.semanticweb.owlapi.reasoner.OWLReasonerFactory
      Creates an OWLReasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the ontology manager associated with ontology. The reasoner will listen for ontology changes to the ontologies that it is reasoning over and will always answer queries with respect to the changed ontologies (see OWLReasoner for further details).
      Specified by:
      createNonBufferingReasoner in interface OWLReasonerFactory
      Parameters:
      ontology - The ontology whose imports closure will be reasoned over by the reasoner that is created.
      config - A configuration object that can be used to customise the setup of the reasoner that will be created by calling this method.
      Returns:
      The reasoner that reasons over the imports closure of the specified ontology. Note that calling this method multiple times with the same manager and ontology will return fresh instances of OWLReasoner.

    • createReasoner

      public OWLReasoner createReasoner​(OWLOntology ontology, OWLReasonerConfiguration config)
      Description copied from interface: org.semanticweb.owlapi.reasoner.OWLReasonerFactory
      Creates a buffering reasoner that reasons over the imports closure of the specified ontology. The reasoner will obtain the imports closure from the ontology manager associated with ontology. The reasoner will listen for ontology changes to the ontologies it is reasoning over but will only answer queries with respect to the changed ontologies when the OWLReasoner.flush() method is called (see OWLReasoner for further details).
      Specified by:
      createReasoner in interface OWLReasonerFactory
      Parameters:
      ontology - The ontology whose imports closure will be reasoned over by the reasoner that is created.
      config - A configuration object that can be used to customise the setup of the reasoner that will be created by calling this method.
      Returns:
      The reasoner that reasons over the imports closure of the specified ontology. Note that calling this method multiple times with the same manager and ontology will return fresh instances of OWLReasoner.