protected void writeAxiomStart(OWLXMLVocabulary v, OWLAxiom axiom) { write(v); writeOpenBracket(); writeAnnotations(axiom); }
protected void writeAxiomStart(OWLXMLVocabulary v, OWLAxiom axiom) { write(v); writeOpenBracket(); writeAnnotations(axiom); }
protected void writeAxiomStart(OWLXMLVocabulary v, OWLAxiom axiom) { write(v); writeOpenBracket(); writeAnnotations(axiom); }
protected void writeAxiomStart(OWLXMLVocabulary v, OWLAxiom axiom) { write(v); writeOpenBracket(); writeAnnotations(axiom); }
private void writeAxioms(OWLEntity entity, Set<OWLAxiom> alreadyWrittenAxioms) { writeAnnotations(entity, alreadyWrittenAxioms); List<OWLAxiom> writtenAxioms = new ArrayList<>(); Stream<? extends OWLAxiom> stream = getUnsortedAxiomsForEntity(entity).filter(alreadyWrittenAxioms::contains) .filter(ax -> ax.getAxiomType().equals(AxiomType.DIFFERENT_INDIVIDUALS)) .filter(ax -> ax.getAxiomType().equals(AxiomType.DISJOINT_CLASSES) && ((OWLDisjointClassesAxiom) ax).classExpressions().count() > 2) .sorted(); stream.forEach(ax -> { ax.accept(this); writtenAxioms.add(ax); writeReturn(); }); alreadyWrittenAxioms.addAll(writtenAxioms); }
private void writeAxioms(OWLEntity entity, Set<OWLAxiom> alreadyWrittenAxioms) { writeAnnotations(entity, alreadyWrittenAxioms); List<OWLAxiom> writtenAxioms = new ArrayList<>(); Stream<? extends OWLAxiom> stream = getUnsortedAxiomsForEntity(entity).filter(alreadyWrittenAxioms::contains) .filter(ax -> ax.getAxiomType().equals(AxiomType.DIFFERENT_INDIVIDUALS)) .filter(ax -> ax.getAxiomType().equals(AxiomType.DISJOINT_CLASSES) && ((OWLDisjointClassesAxiom) ax).classExpressions().count() > 2) .sorted(); stream.forEach(ax -> { ax.accept(this); writtenAxioms.add(ax); writeReturn(); }); alreadyWrittenAxioms.addAll(writtenAxioms); }
private void writeAxioms(OWLEntity entity, Set<OWLAxiom> alreadyWrittenAxioms) { writeAnnotations(entity, alreadyWrittenAxioms); List<OWLAxiom> writtenAxioms = new ArrayList<>(); Stream<? extends OWLAxiom> stream = getUnsortedAxiomsForEntity(entity).filter(alreadyWrittenAxioms::contains) .filter(ax -> ax.getAxiomType().equals(AxiomType.DIFFERENT_INDIVIDUALS)) .filter(ax -> ax.getAxiomType().equals(AxiomType.DISJOINT_CLASSES) && ((OWLDisjointClassesAxiom) ax).classExpressions().count() > 2) .sorted(); stream.forEach(ax -> { ax.accept(this); writtenAxioms.add(ax); writeReturn(); }); alreadyWrittenAxioms.addAll(writtenAxioms); }
private void writeAxioms(OWLEntity entity, Set<OWLAxiom> alreadyWrittenAxioms) { writeAnnotations(entity, alreadyWrittenAxioms); List<OWLAxiom> writtenAxioms = new ArrayList<>(); Stream<? extends OWLAxiom> stream = getUnsortedAxiomsForEntity(entity).filter(alreadyWrittenAxioms::contains) .filter(ax -> ax.getAxiomType().equals(AxiomType.DIFFERENT_INDIVIDUALS)) .filter(ax -> ax.getAxiomType().equals(AxiomType.DISJOINT_CLASSES) && ((OWLDisjointClassesAxiom) ax).classExpressions().count() > 2) .sorted(); stream.forEach(ax -> { ax.accept(this); writtenAxioms.add(ax); writeReturn(); }); alreadyWrittenAxioms.addAll(writtenAxioms); }