Package org.phyloref.jphyloref.helpers

Class ReasonerHelper

java.lang.Object
org.phyloref.jphyloref.helpers.ReasonerHelper
public class ReasonerHelper extends Object
The ReasonerHelper provides methods to help create and manage OWL Reasoners, and to allow the user to choose a different reasoner to carry out any specified task.
Author:
Gaurav Vaidya

  • Constructor Details

    • ReasonerHelper

      public ReasonerHelper()

  • Method Details

    • getReasonerFactory

      public static org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory​(String name)
      Get reasoner factory by name.

    • getReasonerFactories

      public static Map<String,​org.semanticweb.owlapi.reasoner.OWLReasonerFactory> getReasonerFactories()
      Get all reasoner factories.

    • getReasonerNameAndVersion

      public static String getReasonerNameAndVersion​(org.semanticweb.owlapi.reasoner.OWLReasonerFactory factory)

    • getReasonerFactoryFromCmdLine

      public static org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactoryFromCmdLine​(org.apache.commons.cli.CommandLine cmdLine)
      Return an OWLReasoner based on the command-line settings.

      For now, we only look for one setting -- '--reasoner' -- and identify a reasoner based on that, but in the future we might support additional options that allow you to configure the reasoner.

    • addCommandLineOptions

      public static void addCommandLineOptions​(org.apache.commons.cli.Options opts)
      Add command line options that can be read by getReasonerFromCmdLine()