How to use

getOperandsAsList

method

in

org.semanticweb.owlapi.model.OWLDisjointUnionAxiom

@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());
}