org.semanticweb.elk.owlapi
Class ElkReasonerConfiguration

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

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

public class ElkReasonerConfiguration
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

A composition of the generic OWL API configuration and the ELK's configuration. This is also where the default configuration settings of OWL API reasoner parameters in ELK are defined. The default configuration of ELK reasoner parameters is in ReasonerConfiguration.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de, Markus Kroetzsch

Constructor Summary

ElkReasonerConfiguration()

ElkReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration genConfig)

ElkReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration owlConfig, ReasonerConfiguration elkConfig)

ElkReasonerConfiguration(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)

Method Summary

static org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration	getDefaultOwlReasonerConfiguration(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)
ReasonerConfiguration	getElkConfiguration()
org.semanticweb.owlapi.reasoner.FreshEntityPolicy	getFreshEntityPolicy()
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy	getIndividualNodeSetPolicy()
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor	getProgressMonitor()
long	getTimeOut()

Methods inherited from class java.lang.Object

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

Constructor Detail

ElkReasonerConfiguration

public ElkReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration owlConfig,
                                ReasonerConfiguration elkConfig)

ElkReasonerConfiguration

public ElkReasonerConfiguration()

ElkReasonerConfiguration

public ElkReasonerConfiguration(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)

ElkReasonerConfiguration

public ElkReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration genConfig)

Method Detail

getDefaultOwlReasonerConfiguration

public static org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration getDefaultOwlReasonerConfiguration(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)

getFreshEntityPolicy

public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()

Specified by:

getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

getIndividualNodeSetPolicy

public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()

Specified by:

getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

getProgressMonitor

public org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor getProgressMonitor()

Specified by:

getProgressMonitor in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

getTimeOut

public long getTimeOut()

Specified by:

getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

getElkConfiguration

public ReasonerConfiguration getElkConfiguration()