it.unibz.inf.ontop.owlapi.impl

Class QuestOWLConfiguration

java.lang.Object

org.semanticweb.owlapi.reasoner.SimpleConfiguration

it.unibz.inf.ontop.owlapi.impl.QuestOWLConfiguration

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

public class QuestOWLConfiguration
extends org.semanticweb.owlapi.reasoner.SimpleConfiguration

See QuestPreferences.builder() for an high-level configuration builder.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
QuestOWLConfiguration(OntopSystemOWLAPIConfiguration ontopConfiguration, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor progressMonitor) Constructor

Method Summary

Modifier and Type	Method and Description
OntopSystemOWLAPIConfiguration	getOntopConfiguration()

Methods inherited from class org.semanticweb.owlapi.reasoner.SimpleConfiguration

getFreshEntityPolicy, getIndividualNodeSetPolicy, getProgressMonitor, getTimeOut

Methods inherited from class java.lang.Object

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

Constructor Detail

QuestOWLConfiguration

public QuestOWLConfiguration(@Nonnull
                             OntopSystemOWLAPIConfiguration ontopConfiguration,
                             @Nonnull
                             org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor progressMonitor)

Constructor

Method Detail

getOntopConfiguration

@Nonnull
public OntopSystemOWLAPIConfiguration getOntopConfiguration()