@Override public ElkReasonerConfiguration getConfiguration( ReasonerProgressMonitor monitor) { OWLReasonerConfiguration defaultOwlConfig = ElkReasonerConfiguration .getDefaultOwlReasonerConfiguration(monitor); return new ElkReasonerConfiguration(defaultOwlConfig, ElkPreferences.getElkConfig()); }
this.owlOntology_ = ontology; this.owlOntologymanager_ = ontology.getOWLOntologyManager(); this.mainProgressMonitor_ = elkConfig.getProgressMonitor() == null ? new DummyProgressMonitor() : new ElkReasonerProgressMonitor( elkConfig.getProgressMonitor()); this.secondaryProgressMonitor_ = new DummyProgressMonitor(); this.isBufferingMode_ = isBufferingMode; this.elkConverter_ = ElkConverter.getInstance(); this.config_ = elkConfig.getElkConfiguration(); this.isAllowFreshEntities = elkConfig .getFreshEntityPolicy() == FreshEntityPolicy.ALLOW;
public ElkReasonerConfiguration() { this(getDefaultOwlReasonerConfiguration(), ReasonerConfiguration .getConfiguration()); }
@SuppressWarnings("static-method") ElkReasoner createElkReasoner(OWLOntology ontology, boolean isBufferingMode, OWLReasonerConfiguration config) throws IllegalConfigurationException { LOGGER_.trace("createElkReasoner(OWLOntology, boolean, OWLReasonerConfiguration)"); // here we check if the passed configuration also has ELK's parameters ElkReasonerConfiguration elkReasonerConfig; if (config != null) { if (config instanceof ElkReasonerConfiguration) { elkReasonerConfig = (ElkReasonerConfiguration) config; } else { elkReasonerConfig = new ElkReasonerConfiguration(config); } } else { elkReasonerConfig = new ElkReasonerConfiguration(); } return new ElkReasoner(ontology, isBufferingMode, elkReasonerConfig); } }
ElkReasoner(OWLOntology ontology, boolean isBufferingMode, ElkReasonerConfiguration elkConfig) { this(ontology, isBufferingMode, elkConfig, new ReasonerFactory() .createReasoner(elkConfig.getElkConfiguration())); }
this.owlOntology_ = ontology; this.owlOntologymanager_ = ontology.getOWLOntologyManager(); this.mainProgressMonitor_ = elkConfig.getProgressMonitor() == null ? new DummyProgressMonitor() : new ElkReasonerProgressMonitor( elkConfig.getProgressMonitor()); this.secondaryProgressMonitor_ = new DummyProgressMonitor(); this.isBufferingMode_ = isBufferingMode; this.elkConverter_ = ElkConverter.getInstance(); this.config_ = elkConfig.getElkConfiguration(); this.isAllowFreshEntities = elkConfig .getFreshEntityPolicy() == FreshEntityPolicy.ALLOW;
public ElkReasonerConfiguration(ReasonerProgressMonitor monitor) { this(getDefaultOwlReasonerConfiguration(monitor), ReasonerConfiguration .getConfiguration()); }
@SuppressWarnings("static-method") ElkReasoner createElkReasoner(OWLOntology ontology, boolean isBufferingMode, OWLReasonerConfiguration config) throws IllegalConfigurationException { LOGGER_.trace("createElkReasoner(OWLOntology, boolean, OWLReasonerConfiguration)"); // here we check if the passed configuration also has ELK's parameters ElkReasonerConfiguration elkReasonerConfig; if (config != null) { if (config instanceof ElkReasonerConfiguration) { elkReasonerConfig = (ElkReasonerConfiguration) config; } else { elkReasonerConfig = new ElkReasonerConfiguration(config); } } else { elkReasonerConfig = new ElkReasonerConfiguration(); } return new ElkReasoner(ontology, isBufferingMode, elkReasonerConfig); } }
ElkReasoner(OWLOntology ontology, boolean isBufferingMode, ElkReasonerConfiguration elkConfig) { this(ontology, isBufferingMode, elkConfig, new ReasonerFactory() .createReasoner(elkConfig.getElkConfiguration())); }
this.owlOntology_ = ontology; this.owlOntologymanager_ = ontology.getOWLOntologyManager(); this.mainProgressMonitor_ = elkConfig.getProgressMonitor() == null ? new DummyProgressMonitor() : new ElkReasonerProgressMonitor( elkConfig.getProgressMonitor()); this.secondaryProgressMonitor_ = new DummyProgressMonitor(); this.isBufferingMode_ = isBufferingMode; this.elkConverter_ = ElkConverter.getInstance(); this.config_ = elkConfig.getElkConfiguration(); this.isAllowFreshEntities = elkConfig .getFreshEntityPolicy() == FreshEntityPolicy.ALLOW;
public static OWLReasonerConfiguration getDefaultOwlReasonerConfiguration() { return getDefaultOwlReasonerConfiguration( new NullReasonerProgressMonitor()); }
@SuppressWarnings("static-method") ElkReasoner createElkReasoner(OWLOntology ontology, boolean isBufferingMode, OWLReasonerConfiguration config) throws IllegalConfigurationException { LOGGER_.trace("createElkReasoner(OWLOntology, boolean, OWLReasonerConfiguration)"); // here we check if the passed configuration also has ELK's parameters ElkReasonerConfiguration elkReasonerConfig; if (config != null) { if (config instanceof ElkReasonerConfiguration) { elkReasonerConfig = (ElkReasonerConfiguration) config; } else { elkReasonerConfig = new ElkReasonerConfiguration(config); } } else { elkReasonerConfig = new ElkReasonerConfiguration(); } return new ElkReasoner(ontology, isBufferingMode, elkReasonerConfig); } }
ElkReasoner(OWLOntology ontology, boolean isBufferingMode, ElkReasonerConfiguration elkConfig) { this(ontology, isBufferingMode, elkConfig, new ReasonerFactory() .createReasoner(elkConfig.getElkConfiguration())); }
public ElkReasonerConfiguration() { this(getDefaultOwlReasonerConfiguration(), ReasonerConfiguration .getConfiguration()); }
public ElkReasonerConfiguration(ReasonerProgressMonitor monitor) { this(getDefaultOwlReasonerConfiguration(monitor), ReasonerConfiguration .getConfiguration()); }
public ElkReasonerConfiguration() { this(getDefaultOwlReasonerConfiguration(), 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()); }