protected IRI computeDocumentIRI(OWLOntologyID ontologyID) { IRI documentIRI = getDocumentIRIFromMappers(ontologyID); if (documentIRI == null) { if (!ontologyID.isAnonymous()) { documentIRI = ontologyID.getDefaultDocumentIRI().orElse(null); } else { documentIRI = IRI.generateDocumentIRI(); } } return documentIRI; }
protected IRI computeDocumentIRI(OWLOntologyID ontologyID) { IRI documentIRI = getDocumentIRIFromMappers(ontologyID); if (documentIRI == null) { if (!ontologyID.isAnonymous()) { documentIRI = ontologyID.getDefaultDocumentIRI().orElse(null); } else { documentIRI = IRI.generateDocumentIRI(); } } return documentIRI; }
protected IRI computeDocumentIRI(OWLOntologyID ontologyID) { IRI documentIRI = getDocumentIRIFromMappers(ontologyID); if (documentIRI == null) { if (!ontologyID.isAnonymous()) { documentIRI = ontologyID.getDefaultDocumentIRI().orElse(null); } else { documentIRI = IRI.generateDocumentIRI(); } } return documentIRI; }
protected IRI computeDocumentIRI(OWLOntologyID ontologyID) { IRI documentIRI = getDocumentIRIFromMappers(ontologyID); if (documentIRI == null) { if (!ontologyID.isAnonymous()) { documentIRI = ontologyID.getDefaultDocumentIRI().orElse(null); } else { documentIRI = IRI.generateDocumentIRI(); } } return documentIRI; }
public OWLOntology createOntology(OWLOntologyID ontologyID) throws OWLOntologyCreationException { OWLOntology ontology = ontologiesByID.get(ontologyID); if (ontology != null) { throw new OWLOntologyAlreadyExistsException(ontologyID); } IRI documentIRI = getDocumentIRIFromMappers(ontologyID, false); if (documentIRI == null) { documentIRI = IRI.generateDocumentIRI(); Collection<IRI> existingDocumentIRIs = documentIRIsByID.values(); while (existingDocumentIRIs.contains(documentIRI)) { documentIRI = IRI.generateDocumentIRI(); } } if (documentIRIsByID.values().contains(documentIRI)) { throw new OWLOntologyDocumentAlreadyExistsException(documentIRI); } for (OWLOntologyFactory factory : ontologyFactories) { if (factory.canCreateFromDocumentIRI(documentIRI)) { documentIRIsByID.put(ontologyID, documentIRI); return factory.createOWLOntology(ontologyID, documentIRI, this); } } throw new OWLOntologyFactoryNotFoundException(documentIRI); }
@Override public OWLOntology createOWLOntology(OWLOntologyManager manager) { OWLOntology copy = null; try { IRI iri; if(ontology.getOntologyID().isAnonymous()){ iri = IRI.generateDocumentIRI(); } else { iri = ontology.getOntologyID().getOntologyIRI().orNull(); if(iri == null) { iri = IRI.generateDocumentIRI(); } } copy = manager.createOntology(iri, Collections.singleton(ontology)); } catch (OWLOntologyCreationException e) { e.printStackTrace(); } // return converter.convert(ontologyBytes, manager); return copy; }
OWLOntology allOntology = manager.createOntology(IRI.generateDocumentIRI(), new HashSet<OWLOntology>(owlAPIOntologies));
throws OWLOntologyCreationException { if (outputIRI == null) { outputIRI = IRI.generateDocumentIRI();
ontologyIRI = IRI.generateDocumentIRI();
@Test public void doesNotReason_whenOntologyIsInconsistent() throws Exception{ OWLClass c0 = dataFactory.getOWLClass(IRI.generateDocumentIRI()); OWLClass c1 = dataFactory.getOWLClass(IRI.generateDocumentIRI()); OWLDisjointClassesAxiom disjoint = dataFactory.getOWLDisjointClassesAxiom(c0, c1); OWLIndividual i1 = dataFactory.getOWLNamedIndividual(IRI.generateDocumentIRI()); OWLClassAssertionAxiom a1 = dataFactory.getOWLClassAssertionAxiom(c0, i1); OWLClassAssertionAxiom a2 = dataFactory.getOWLClassAssertionAxiom(c1, i1); manager.addAxioms(ont, newHashSet(disjoint, a1, a2)); util.flush(); assertThat(util.shouldReason(), is(false)); }
ontology = manager.createOntology(IRI.generateDocumentIRI(), new HashSet<>(owlAPIOntologies));
@Test public void doesNotReason_whenOntologyIsUnsatisfiable() throws Exception { OWLAxiom axiom = dataFactory.getOWLSubClassOfAxiom( dataFactory.getOWLClass(IRI.generateDocumentIRI()), dataFactory.getOWLNothing()); manager.addAxiom(ont, axiom); util.flush(); assertThat(util.shouldReason(), is(false)); }