How to use

asOWLSubClassOfAxioms

method

in

org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

@Override
public Collection<? extends OWLAxiom> visit(OWLEquivalentClassesAxiom axiom) {
  return axiom.asOWLSubClassOfAxioms();
}

@Override
public Collection<? extends OWLAxiom> visit(OWLEquivalentClassesAxiom axiom) {
  return axiom.asOWLSubClassOfAxioms();
}

@Override
public Collection<? extends OWLAxiom> visit(OWLEquivalentClassesAxiom axiom) {
  return axiom.asOWLSubClassOfAxioms();
}

@Override
public Set<OWLAxiom> visit(OWLEquivalentClassesAxiom axiom) {
  return visit(axiom.asOWLSubClassOfAxioms());
}

private Stream<OWLSubClassOfAxiom> getEquivalentClassAxiomsAsSubClassOfAxioms(OWLClass cls) {
  return getOntologies()
      .flatMap(o -> o.getEquivalentClassesAxioms(cls).stream())
      .flatMap(ax -> ax.asOWLSubClassOfAxioms().stream());
}

public void visit(OWLEquivalentClassesAxiom axiom){
  //We turn this OWLEquivalentClassesAxiom into a set of OWLSubClassOfAxiom and then use 
  //a new ELAxiomVisitor to visit them until we find one that is not EL
  Set<OWLSubClassOfAxiom> subClassOfAxioms = axiom.asOWLSubClassOfAxioms();		
  
  //We walk through the set of OWLSubClassOfAxiom with the help of in iterator
  Iterator<OWLSubClassOfAxiom> iterator = subClassOfAxioms.iterator();
  OWLSubClassOfAxiom oneSubClassOfAxiom = iterator.next();
  oneSubClassOfAxiom.accept(this);
  boolean isELSoFar = isEL;
  
  while(iterator.hasNext() && isELSoFar){
    oneSubClassOfAxiom = iterator.next();
    oneSubClassOfAxiom.accept(this);
    isELSoFar = isELSoFar && isEL;
  }
  isEL = isELSoFar;
}

public void visit(OWLEquivalentClassesAxiom axiom){
  //We turn this OWLEquivalentClassesAxiom into a set of OWLSubClassOfAxiom and then use 
  //a new ELAxiomVisitor to visit them until we find one that is not EL
  Set<OWLSubClassOfAxiom> subClassOfAxioms = axiom.asOWLSubClassOfAxioms();		
  
  //We walk through the set of OWLSubClassOfAxiom with the help of an iterator
  Iterator<OWLSubClassOfAxiom> iterator = subClassOfAxioms.iterator();
  OWLSubClassOfAxiom oneSubClassOfAxiom = iterator.next();
  oneSubClassOfAxiom.accept(this);
  boolean isSupportedByELKSoFar = isSupportedByELK;
  
  while(iterator.hasNext() && isSupportedByELKSoFar){
    oneSubClassOfAxiom = iterator.next();
    oneSubClassOfAxiom.accept(this);
    isSupportedByELKSoFar = isSupportedByELKSoFar && isSupportedByELK;
  }
  isSupportedByELK = isSupportedByELKSoFar;
}

public Set<OWLAxiom> computeOPlus(Set<OWLAxiom> inputAxioms) {
  OPlusGenerator oPlusGenerator = new OPlusGenerator(man.getOWLDataFactory(), OPlusSplitting.TOP_LEVEL);
  Set<OWLAxiom> oPlus = new HashSet<>();
  for (OWLAxiom ax : inputAxioms) {
    Set<? extends OWLAxiom> weakenedAxioms = ax.accept(oPlusGenerator);
    oPlus.addAll(weakenedAxioms);
  }
  for(OWLAxiom ax : oPlus) {
    if(ax instanceof OWLEquivalentClassesAxiom) {
      OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax;
      if(oPlus.containsAll(eca.asOWLSubClassOfAxioms())) {
        System.out.println("POTENTIAL OPT!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!****************");
      }
    }
  }
  return oPlus;
}

Set<OWLSubClassOfAxiom> subclAxioms = (Set<OWLSubClassOfAxiom>)eqAx.asOWLSubClassOfAxioms();
ret =  toQLNormalForm(subclAxioms,tmpNonQLAxioms,!bestEffort);

Set<OWLSubClassOfAxiom> subClassOfAxioms = ((OWLEquivalentClassesAxiom)pattern).asOWLSubClassOfAxioms();
for (OWLSubClassOfAxiom axiom : subClassOfAxioms) {
  if(!axiom.getSubClass().isAnonymous()){