/** * Initialization code which is called from both of the two constructors. * @param obdaModel * */ private void init(OWLOntology rootOntology, OBDAModel obdaModel, OWLReasonerConfiguration configuration, Properties preferences){ pm = configuration.getProgressMonitor(); man = rootOntology.getOWLOntologyManager(); if (obdaModel != null) this.obdaModel = (OBDAModel)obdaModel.clone(); this.preferences.putAll(preferences); extractVersion(); prepareReasoner(); }