public ElkReasonerConfiguration() { this(getDefaultOwlReasonerConfiguration(), ReasonerConfiguration .getConfiguration()); }
public static OWLReasonerConfiguration getDefaultOwlReasonerConfiguration() { return getDefaultOwlReasonerConfiguration( new NullReasonerProgressMonitor()); }
public ElkReasonerConfiguration() { this(getDefaultOwlReasonerConfiguration(), ReasonerConfiguration .getConfiguration()); }
public ElkReasonerConfiguration(ReasonerProgressMonitor monitor) { this(getDefaultOwlReasonerConfiguration(monitor), ReasonerConfiguration .getConfiguration()); }
public ElkReasonerConfiguration() { this(getDefaultOwlReasonerConfiguration(), ReasonerConfiguration .getConfiguration()); }
public ElkReasonerConfiguration(ReasonerProgressMonitor monitor) { this(getDefaultOwlReasonerConfiguration(monitor), ReasonerConfiguration .getConfiguration()); }
public static OWLReasonerConfiguration getDefaultOwlReasonerConfiguration() { return getDefaultOwlReasonerConfiguration( new NullReasonerProgressMonitor()); }
public static OWLReasonerConfiguration getDefaultOwlReasonerConfiguration() { return getDefaultOwlReasonerConfiguration( new NullReasonerProgressMonitor()); }
public ElkReasonerConfiguration(ReasonerProgressMonitor monitor) { this(getDefaultOwlReasonerConfiguration(monitor), ReasonerConfiguration .getConfiguration()); }
@Override public ElkReasonerConfiguration getConfiguration( ReasonerProgressMonitor monitor) { OWLReasonerConfiguration defaultOwlConfig = ElkReasonerConfiguration .getDefaultOwlReasonerConfiguration(monitor); return new ElkReasonerConfiguration(defaultOwlConfig, ElkPreferences.getElkConfig()); }