protected void loadOntology() { try { manager = OWLManager.createOWLOntologyManager(); URI physicalURI = URI.create(PREFERENCES.getOntologyURL()); // Now do the loading ontology = manager.loadOntologyFromPhysicalURI(physicalURI); manager.setPhysicalURIForOntology(ontology, physicalURI); } catch (final Exception e) { Runnable runnable = new Runnable() { public void run() { JOptionPane.showMessageDialog( null, "Could not create the ontology. (This probably happened\n" + "because the ontology could not be accessed due to network\n" + "problems.)\n" + "[" + e.getMessage() + "]", "Error", JOptionPane.ERROR_MESSAGE); System.exit(1); } }; SwingUtilities.invokeLater(runnable); } }
public void check(ExistsCondition condition) throws VerificationException { Resource resource = condition.getResource(); assert resource.isInstantiated(); assert resource.isLoaded(); if (ONTOLOGY.equals(resource.getType().toString())) { URL url = (URL) resource.getValue(); OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); try { manager.loadOntologyFromPhysicalURI(url.toURI()); } catch (Exception x) { throw new VerificationException("The resource " + url + " cannot be parsed as ontology", x); } } }