protected OWLAxiom update(OWLAxiom transform, OWLAxiom axiom) { if (!axiom.equals(transform)) { changes.add(new RemoveAxiomData(axiom)); changes.add(new AddAxiomData(transform)); return transform; } return axiom; }
private boolean isPotentialInlineDeclarationChange(OWLOntologyChangeData data) { if(data instanceof AddAxiomData) { var axiom = ((AddAxiomData) data).getAxiom(); if(axiom instanceof OWLDeclarationAxiom) { return true; } else return axiom instanceof OWLAnnotationAssertionAxiom; } else { return false; } }
@Nonnull @Override public OWLOntologyChangeData visit(AddAxiomData data) throws RuntimeException { final OWLAxiom ax = axiomInterner.intern(data.getAxiom()); if(ax != null) { return new AddAxiomData(ax); } else { return data; } }
protected OWLAxiom update(OWLAxiom transform, OWLAxiom axiom) { if (!axiom.equals(transform)) { changes.add(new RemoveAxiomData(axiom)); changes.add(new AddAxiomData(transform)); return transform; } return axiom; }
@Override public OWLOntologyChangeData visit(AddAxiomData data) throws RuntimeException { return new RemoveAxiomData(data.getAxiom()); }
@Override public OWLOntologyChangeData visit(RemoveAxiomData data) throws RuntimeException { return new AddAxiomData(data.getAxiom()); }
@Override public SafeHtml visit(AddAxiomData data) throws RuntimeException { return renderer.getHtmlBrowserText(data.getAxiom()); }
protected OWLAxiom update(OWLAxiom transform, OWLAxiom axiom) { if (!axiom.equals(transform)) { changes.add(new RemoveAxiomData(axiom)); changes.add(new AddAxiomData(transform)); return transform; } return axiom; }
@Override @Nonnull public AddAxiom createOntologyChange(@Nonnull OWLOntology ontology) { return new AddAxiom(ontology, getAxiom()); }
@Override public AddAxiomData getChangeData() { return new AddAxiomData(getAxiom()); }
@Override @Nonnull public AddAxiom createOntologyChange(@Nonnull OWLOntology ontology) { return new AddAxiom(ontology, getAxiom()); }
@Override public AddAxiomData getChangeData() { return new AddAxiomData(getAxiom()); }
@Nonnull @Override public RevisionDetails.ChangeDetails visit(AddAxiomData data) { return new RevisionDetails.ChangeDetails(RevisionDetails.ChangeOperation.ADD, data.getAxiom()); }
@Override public AddAxiomData getChangeData() { return new AddAxiomData(getAxiom()); }
@Nonnull @Override public Boolean visit(AddAxiomData data) throws RuntimeException { return provider.getSubject(data.getAxiom()).equals(subject); }
private ImmutableList<OWLOntologyChangeRecord> getInitialChangeRecords(OWLOntologyManager rootOntologyManager) { // TODO: Separate change generator ImmutableList.Builder<OWLOntologyChangeRecord> changeRecordList = ImmutableList.builder(); for (OWLOntology ont : rootOntologyManager.getOntologies()) { rootOntologyManager.setOntologyFormat(ont, new BinaryOWLOntologyDocumentFormat()); for (OWLAxiom axiom : ont.getAxioms()) { changeRecordList.add(new OWLOntologyChangeRecord(ont.getOntologyID(), new AddAxiomData(axiom))); } for (OWLAnnotation annotation : ont.getAnnotations()) { changeRecordList.add(new OWLOntologyChangeRecord(ont.getOntologyID(), new AddOntologyAnnotationData(annotation))); } for (OWLImportsDeclaration importsDeclaration : ont.getImportsDeclarations()) { changeRecordList.add(new OWLOntologyChangeRecord(ont.getOntologyID(), new AddImportData(importsDeclaration))); } } return changeRecordList.build(); }
@Override @Nonnull public AddAxiom createOntologyChange(@Nonnull OWLOntology ontology) { return new AddAxiom(ontology, getAxiom()); }
var addedAxiomsIriSignature = changeData.stream() .filter(data -> data instanceof AddAxiomData) .map(data -> ((AddAxiomData) data).getAxiom()) .flatMap(axiom -> this.getIriSignature(axiom)) .collect(toSet());
@Override protected Optional<ChangeSummary> getDescriptionForAddAxiomChange(OWLClassAssertionAxiom axiom, List<OWLOntologyChangeData> changes) { var possibleEntityCreation = changes.stream() .filter(data -> data instanceof AddAxiomData) .map(data -> ((AddAxiomData) data).getAxiom()) .filter(ax -> ax instanceof OWLDeclarationAxiom) .map(ax -> ((OWLDeclarationAxiom) ax).getEntity()) .anyMatch(entity -> entity.equals(axiom.getIndividual())); if(possibleEntityCreation) { return Optional.empty(); } PropertyFiller propertyFiller = new PropertyFiller(axiom.getIndividual(), axiom.getClassExpression()); Optional<OWLProperty> property = propertyFiller.getProperty(); Optional<OWLObject> filler = propertyFiller.getFiller(); if(property.isPresent() && filler.isPresent()) { return Optional.of(ChangeSummary.get(AddedRelationship.get(axiom.getIndividual(), property.get(), filler.get()))); } else { return Optional.of(ChangeSummary.get(AddedIndividualType.get(axiom.getIndividual(), axiom.getClassExpression().asOWLClass()))); } }