private boolean containsDeclarationAxiomChange(List<OWLOntologyChangeData> dataList) { return dataList .stream() .anyMatch(data -> data.getItem() instanceof OWLDeclarationAxiom); }
private static Stream<OWLAxiom> removedAxiom(List<OWLOntologyChangeData> changes) { return changes.stream() .filter(data -> data instanceof RemoveAxiomData) .map(data -> (OWLAxiom) data.getItem()); }
private static Stream<OWLAxiom> addedAxioms(List<OWLOntologyChangeData> change) { return change.stream() .filter(data -> data instanceof AddAxiomData) .map(data -> (OWLAxiom) data.getItem()); }
@Override public int hashCode() { return getClass().hashCode() + getItem().hashCode(); }
@Override public int hashCode() { return getClass().hashCode() + getItem().hashCode(); }
@Override public int hashCode() { return getClass().hashCode() + getItem().hashCode(); }
@Override public String toString() { return toString(getItem()); }
@Override public String toString() { return toString(getItem()); }
@Override public String toString() { return toString(getItem()); }
private List<OWLOntologyChangeData> getNonDeclarationChangeData(List<OWLOntologyChangeData> changeData) { // Inline declarations consist of an entity declaration axiom and zero // or more annotations assertions with a subject equal to the IRI of the // declared entity if(allowSignatureDeclarations()) { var subjectProvider = new EntityCreationAxiomSubjectProvider(); var potentialInlineEntityDeclarationChanges = changeData.stream() .filter(this::isPotentialInlineDeclarationChange) .collect(groupingBy(data -> { var axiom = (OWLAxiom) data.getItem(); return subjectProvider.getEntityCreationAxiomSubject(axiom); })); var declarationChangeData = potentialInlineEntityDeclarationChanges .values() .stream() .filter(this::containsDeclarationAxiomChange) .flatMap(Collection::stream) .collect(Collectors.toSet()); return changeData.stream() .filter(data -> !declarationChangeData.contains(data)) .collect(Collectors.toList()); } else { return changeData; } }
.anyMatch(data -> !((data instanceof AddAxiomData) && isEntityCreationAxiom((OWLAxiom) data.getItem()))); if(changeDataContainsNonAxiomAddition) { return Optional.empty();