Package org.phyloref.jphyloref.helpers

Class ReasonerHelper

java.lang.Object
org.phyloref.jphyloref.helpers.ReasonerHelper
public class ReasonerHelper
extends java.lang.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 Summary

    Constructors
    Constructor Description
    ReasonerHelper()  

  • Method Summary

    Modifier and Type Method Description
    static void addCommandLineOptions​(org.apache.commons.cli.Options opts)
    Add command line options that can be read by getReasonerFromCmdLine()
    static java.util.Map<java.lang.String,​org.semanticweb.owlapi.reasoner.OWLReasonerFactory> getReasonerFactories()
    Get all reasoner factories.
    static org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory​(java.lang.String name)
    Get reasoner factory by name.
    static org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactoryFromCmdLine​(org.apache.commons.cli.CommandLine cmdLine)
    Return an OWLReasoner based on the command-line settings.
    static java.lang.String getReasonerNameAndVersion​(org.semanticweb.owlapi.reasoner.OWLReasonerFactory factory)  

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • ReasonerHelper

      public ReasonerHelper()

  • Method Details

    • getReasonerFactory

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

    • getReasonerFactories

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

    • getReasonerNameAndVersion

      public static java.lang.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()