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; } }
@Override @Nonnull public AddAxiom createOntologyChange(@Nonnull OWLOntology ontology) { return new AddAxiom(ontology, getAxiom()); }
@Override @Nonnull public AddAxiom createOntologyChange(@Nonnull OWLOntology ontology) { return new AddAxiom(ontology, getAxiom()); }
@Override public OWLOntologyChangeData visit(AddAxiomData data) throws RuntimeException { return new RemoveAxiomData(data.getAxiom()); }
@Override public SafeHtml visit(AddAxiomData data) throws RuntimeException { return renderer.getHtmlBrowserText(data.getAxiom()); }
@Nonnull @Override public RevisionDetails.ChangeDetails visit(AddAxiomData data) { return new RevisionDetails.ChangeDetails(RevisionDetails.ChangeOperation.ADD, data.getAxiom()); }
@Nonnull @Override public Boolean visit(AddAxiomData data) throws RuntimeException { return provider.getSubject(data.getAxiom()).equals(subject); }
@Override @Nonnull public AddAxiom createOntologyChange(@Nonnull OWLOntology ontology) { return new AddAxiom(ontology, getAxiom()); }
@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; } }
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()))); } }