@Nonnull public QuestOWL createReasoner(@Nonnull OWLOntology ontology, @Nonnull QuestOWLConfiguration config) throws IllegalConfigurationException { OBDAModel obdaModel = config.getObdaModel(); Properties preferences = config.getPreferences(); if (obdaModel == null && preferences.get(QuestPreferences.ABOX_MODE).equals(QuestConstants.VIRTUAL)) { throw new IllegalConfigurationException("mappings are not specified in virtual mode", config); } else if (obdaModel != null && preferences.get(QuestPreferences.ABOX_MODE).equals(QuestConstants.CLASSIC)) { throw new IllegalConfigurationException("mappings are specified in classic mode", config); } return new QuestOWL(ontology, config); }
@Override @Nonnull public OntopOWLReasoner createReasoner(@Nonnull OntopSystemOWLAPIConfiguration config) throws IllegalConfigurationException, OWLOntologyCreationException { QuestOWLConfiguration owlConfiguration = new QuestOWLConfiguration(config); OWLOntology ontology = config.loadInputOntology() .orElseThrow(() -> new IllegalConfigurationException("QuestOWL requires an ontology", owlConfiguration)); return createReasoner(ontology, owlConfiguration); }
/** * End-users: use the QuestOWLFactory instead */ protected QuestOWL(OWLOntology rootOntology, QuestOWLConfiguration owlConfiguration) throws IllegalConfigurationException { super(rootOntology, owlConfiguration, BufferingMode.BUFFERING); OntopSystemOWLAPIConfiguration ontopConfiguration = owlConfiguration.getOntopConfiguration(); /* * Validates the preferences */ try { ontopConfiguration.validate(); } catch (InvalidOntopConfigurationException e) { throw new IllegalConfigurationException(e.getMessage(), owlConfiguration); } this.structuralReasoner = new StructuralReasoner(rootOntology, owlConfiguration, BufferingMode.BUFFERING); try { queryEngine = ontopConfiguration.loadQueryEngine(); /* * Mapping parsing exceptions are re-thrown as configuration exceptions. */ } catch (OBDASpecificationException e) { throw new IllegalConfigurationException(e, owlConfiguration); } inputQueryFactory = ontopConfiguration.getInputQueryFactory(); pm = owlConfiguration.getProgressMonitor(); version = extractVersion(); owlapiTranslator = ontopConfiguration.getInjector().getInstance(OWLAPITranslatorOWL2QL.class); prepareReasoner(); }
throw new IllegalConfigurationException( "PelletOptions.SILENT_UNDEFINED_ENTITY_HANDLING conflicts with reasoner configuration", config );
throw new IllegalConfigurationException( "PelletOptions.SILENT_UNDEFINED_ENTITY_HANDLING conflicts with reasoner configuration", config );
/** * Create a reasoner for the given _ontology and configuration. * * @param _ontology */ public PelletReasoner(final OWLOntology ontology, final OWLReasonerConfiguration config, final BufferingMode bufferingMode) throws IllegalConfigurationException { _individualNodeSetPolicy = config.getIndividualNodeSetPolicy(); if (!getFreshEntityPolicy().equals(config.getFreshEntityPolicy())) throw new IllegalConfigurationException("OpenlletOptions.SILENT_UNDEFINED_ENTITY_HANDLING conflicts with reasoner configuration", config); _ontology = ontology; _monitor = config.getProgressMonitor(); _kb.setTaxonomyBuilderProgressMonitor(new ProgressAdapter(_monitor)); if (config.getTimeOut() > 0) _kb.getTimers()._mainTimer.setTimeout(config.getTimeOut()); _manager = ontology.getOWLOntologyManager(); _factory = _manager.getOWLDataFactory(); _visitor = new PelletVisitor(_kb); _bufferingMode = bufferingMode; _manager.addOntologyChangeListener(this); _shouldRefresh = true; refresh(); }
/** * Create a reasoner for the given _ontology and configuration. * * @param _ontology */ public PelletReasoner(final OWLOntology ontology, final OWLReasonerConfiguration config, final BufferingMode bufferingMode) throws IllegalConfigurationException { _individualNodeSetPolicy = config.getIndividualNodeSetPolicy(); if (!getFreshEntityPolicy().equals(config.getFreshEntityPolicy())) throw new IllegalConfigurationException("OpenlletOptions.SILENT_UNDEFINED_ENTITY_HANDLING conflicts with reasoner configuration", config); _ontology = ontology; _monitor = config.getProgressMonitor(); _kb.setTaxonomyBuilderProgressMonitor(new ProgressAdapter(_monitor)); if (config.getTimeOut() > 0) _kb.getTimers()._mainTimer.setTimeout(config.getTimeOut()); _manager = ontology.getOWLOntologyManager(); _factory = _manager.getOWLDataFactory(); _visitor = new PelletVisitor(_kb); _bufferingMode = bufferingMode; _manager.addOntologyChangeListener(this); _shouldRefresh = true; refresh(); }
/** * Create a reasoner for the given _ontology and configuration. * * @param _ontology */ public PelletReasoner(final OWLOntology ontology, final OWLReasonerConfiguration config, final BufferingMode bufferingMode) throws IllegalConfigurationException { _individualNodeSetPolicy = config.getIndividualNodeSetPolicy(); if (!getFreshEntityPolicy().equals(config.getFreshEntityPolicy())) throw new IllegalConfigurationException("OpenlletOptions.SILENT_UNDEFINED_ENTITY_HANDLING conflicts with reasoner configuration", config); _ontology = ontology; _monitor = config.getProgressMonitor(); _kb.setTaxonomyBuilderProgressMonitor(new ProgressAdapter(_monitor)); if (config.getTimeOut() > 0) _kb.getTimers()._mainTimer.setTimeout(config.getTimeOut()); _manager = ontology.getOWLOntologyManager(); _factory = _manager.getOWLDataFactory(); _visitor = new PelletVisitor(_kb); _bufferingMode = bufferingMode; _manager.addOntologyChangeListener(this); _shouldRefresh = true; refresh(); }