@Override default Stream<?> componentsWithoutAnnotations() { return Stream.of(getOWLClass(), getOperandsAsList()); }
@Override default Stream<?> componentsWithoutAnnotations() { return Stream.of(getOWLClass(), getOperandsAsList()); }
@Override default Stream<?> componentsWithoutAnnotations() { return Stream.of(getOWLClass(), getOperandsAsList()); }
@Override default Stream<?> components() { return Stream.of(getOWLClass(), getOperandsAsList(), annotationsAsList()); }
@Override default Stream<?> componentsAnnotationsFirst() { return Stream.of(annotationsAsList(), getOWLClass(), getOperandsAsList()); }
@Override default Stream<?> components() { return Stream.of(getOWLClass(), getOperandsAsList(), annotationsAsList()); }
@Override default Stream<?> componentsAnnotationsFirst() { return Stream.of(annotationsAsList(), getOWLClass(), getOperandsAsList()); }
@Override default Stream<?> componentsAnnotationsFirst() { return Stream.of(annotationsAsList(), getOWLClass(), getOperandsAsList()); }
@Override default Stream<?> components() { return Stream.of(getOWLClass(), getOperandsAsList(), annotationsAsList()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DisjointUnion(C CE1 ... CEn) // 1. add C implies CE1 or ... or CEn, which is { not C or CE1 or ... or CEn } List<OWLClassExpression> classExpressions = new ArrayList<>( axiom.getOperandsAsList()); List<OWLClassExpression> inclusion= new ArrayList<>(classExpressions); OWLClassExpression complementNNF = m_expressionManager.getComplementNNF(axiom.getOWLClass()); if(!inclusion.contains(complementNNF)) { inclusion.add(complementNNF); } m_classExpressionInclusionsAsDisjunctions.add(inclusion); // 2. add CEi implies C, which is { not CEi or C } for (OWLClassExpression description : classExpressions) m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( negative(description),axiom.getOWLClass() )); // 3. add CEi and CEj implies bottom (not CEi or not CEj) for 1 <= i < j <= n for (int i=0;i<classExpressions.size();i++) classExpressions.set(i, m_expressionManager.getComplementNNF(classExpressions.get(i))); for (int i=0;i<classExpressions.size();i++) for (int j=i+1;j<classExpressions.size();j++) m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( classExpressions.get(i),classExpressions.get(j) )); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getOWLClass().hashCode()); hash = OWLObject.hashIteration(hash, getOperandsAsList().hashCode()); return OWLObject.hashIteration(hash, annotationsAsList().hashCode()); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getOWLClass().hashCode()); hash = OWLObject.hashIteration(hash, getOperandsAsList().hashCode()); return OWLObject.hashIteration(hash, annotationsAsList().hashCode()); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getOWLClass().hashCode()); hash = OWLObject.hashIteration(hash, getOperandsAsList().hashCode()); return OWLObject.hashIteration(hash, annotationsAsList().hashCode()); }