@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()){