org.semanticweb.more
Class MOReReasonerFactory

java.lang.Object
  extended by org.semanticweb.more.MOReReasonerFactory
All Implemented Interfaces:
org.semanticweb.owlapi.reasoner.OWLReasonerFactory

public class MOReReasonerFactory
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Factory for the OWLAPI reasoner implementation of the MORe reasoner.

Author:
aarmas

Constructor Summary
MOReReasonerFactory(int owl2reasoner)
           
 
Method Summary
protected  MOReReasoner createMoreReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, boolean isBufferingMode, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
           
 org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
           
 org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
           
 org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
           
 org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
           
 String getReasonerName()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MOReReasonerFactory

public MOReReasonerFactory(int owl2reasoner)
Method Detail

getReasonerName

public String getReasonerName()
Specified by:
getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
Specified by:
createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
Specified by:
createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                              org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
                                                                       throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
Specified by:
createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
Throws:
org.semanticweb.owlapi.reasoner.IllegalConfigurationException

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                  org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
                                                           throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
Specified by:
createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
Throws:
org.semanticweb.owlapi.reasoner.IllegalConfigurationException

createMoreReasoner

protected MOReReasoner createMoreReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                          boolean isBufferingMode,
                                          org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
                                   throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
Throws:
org.semanticweb.owlapi.reasoner.IllegalConfigurationException


Copyright © 2013. All Rights Reserved.