org.semanticweb.elk.owlapi
Class ElkReasonerFactory

java.lang.Object
  org.semanticweb.elk.owlapi.ElkReasonerFactory

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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

Factory for the OWLAPI reasoner implementation of the ELK reasoner.

Author:

Yevgeny Kazakov, Markus Kroetzsch

Constructor Summary

ElkReasonerFactory()

Method Summary

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

ElkReasonerFactory

public ElkReasonerFactory()

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