@Override public List<OWLClassExpression> getRenderablesForItem(OWLClass subject, OWLDisjointClassesAxiom item, OWLOntology ontology) { return new ArrayList<>(item.getClassExpressionsMinus(subject)); }
private void generateChangesToRemoveDefinitionFromOntology(@Nonnull OWLOntology o, @Nonnull List<OWLOntologyChange> changes) { o.getSubClassAxiomsForSubClass(cls).forEach(ax -> changes.add(new RemoveAxiom(o, ax))); o.getEquivalentClassesAxioms(cls).forEach(ax -> changes.add(new RemoveAxiom(o, ax))); o.getDisjointClassesAxioms(cls).forEach(ax -> { changes.add(new RemoveAxiom(o, ax)); Set<OWLClassExpression> remainingDisjointClasses = ax.getClassExpressionsMinus(cls); if(remainingDisjointClasses.size() > 1) { OWLAxiom freshAx = dataFactory.getOWLDisjointClassesAxiom(remainingDisjointClasses, ax.getAnnotations()); changes.add(new AddAxiom(o, freshAx)); } }); o.getHasKeyAxioms(cls).forEach(ax -> new RemoveAxiom(o, ax)); o.getDisjointUnionAxioms(cls).forEach(ax -> new RemoveAxiom(o, ax)); } }
if (ax.getClassExpressions().size() <= 2) { pairwiseDisjointClassesAxioms.add(ax); OWLClassExpression disjointWith = ax.getClassExpressionsMinus(cls).iterator().next(); disjointClasses.put(disjointWith, ax.getAnnotations());
filtersort(o.disjointClassesAxioms(cls)).forEach(ax -> { if (ax.classExpressions().count() == 2) { OWLClassExpression disjointWith = ax.getClassExpressionsMinus(cls).iterator() .next(); disjointClasses.put(disjointWith, ax);
filtersort(o.disjointClassesAxioms(cls)).forEach(ax -> { if (ax.classExpressions().count() == 2) { OWLClassExpression disjointWith = ax.getClassExpressionsMinus(cls).iterator() .next(); disjointClasses.put(disjointWith, ax);
filtersort(o.disjointClassesAxioms(cls)).forEach(ax -> { if (ax.classExpressions().count() == 2) { OWLClassExpression disjointWith = ax.getClassExpressionsMinus(cls).iterator() .next(); disjointClasses.put(disjointWith, ax);
filtersort(o.disjointClassesAxioms(cls)).forEach(ax -> { if (ax.classExpressions().count() == 2) { OWLClassExpression disjointWith = ax.getClassExpressionsMinus(cls).iterator() .next(); disjointClasses.put(disjointWith, ax);
pairwiseDisjointClassesAxioms.add(ax); OWLClassExpression disjointWith = ax .getClassExpressionsMinus(cls).iterator().next(); disjointClasses.add(disjointWith, ax);