@Nonnull @Override public Set<PropertyValue> visit(OWLObjectIntersectionOf ce) { state = State.DERIVED; Set<PropertyValue> result = new HashSet<>(); for (OWLClassExpression op : ce.asConjunctSet()) { Set<PropertyValue> accept = op.accept(this); if (accept != null) { result.addAll(accept); } } return result; }
@Override public void visit(OWLObjectIntersectionOf exp){ isSHIF = true; Set<OWLClassExpression> conjuncts = exp.asConjunctSet(); Iterator<OWLClassExpression> iterator = conjuncts.iterator(); while (iterator.hasNext() && isSHIF) isSHIF = isSHIF(iterator.next()); }
public void visit(OWLObjectIntersectionOf exp) { //An OWLObjectIntersectionOf concept is locally negative if at least one conjunct is locally negative isBottom = false; boolean canBoolAcc = false; List<Set<OWLEntity>> auxList = new LinkedList<Set<OWLEntity>>(); Iterator<OWLClassExpression> iterator = exp.asConjunctSet().iterator(); OWLClassExpression conjunct; while (iterator.hasNext() && !isBottom){ conjunct = iterator.next(); conjunct.accept(this); if (!isBottom && canMakeBottom){ auxList.addAll(solutions); canBoolAcc = true; } } canMakeBottom = canBoolAcc || isBottom; if (!isBottom && canMakeBottom) solutions = auxList; else solutions = new LinkedList<Set<OWLEntity>>(); }
public void visit(OWLObjectIntersectionOf exp){ Set<OWLClassExpression> conjuncts = exp.asConjunctSet(); Iterator<OWLClassExpression> iterator = conjuncts.iterator(); OWLClassExpression classExp = iterator.next(); classExp.accept(this); boolean allELSoFar = this.isSupportedByELK(); while (iterator.hasNext() && allELSoFar){ classExp = iterator.next(); classExp.accept(this); allELSoFar = allELSoFar && this.isSupportedByELK(); } isSupportedByELK = allELSoFar; }
public void visit(OWLObjectIntersectionOf exp){ Set<OWLClassExpression> conjuncts = exp.asConjunctSet(); Iterator<OWLClassExpression> iterator = conjuncts.iterator(); OWLClassExpression classExp = iterator.next(); classExp.accept(this); boolean allELSoFar = this.getIsEL(); while (iterator.hasNext() && allELSoFar){ classExp = iterator.next(); classExp.accept(this); allELSoFar = allELSoFar && this.getIsEL(); } isEL = allELSoFar; }
boolean canBoolAcc = false; List<Set<OWLEntity>> auxList = new LinkedList<Set<OWLEntity>>(); Iterator<OWLClassExpression> iterator = exp.asConjunctSet().iterator(); OWLClassExpression conjunct; Iterator<OWLClassExpression> iterator = exp.asConjunctSet().iterator();
@Override public Collection<OWLClass> getParents(OWLClass child) { Collection<OWLClass> result = new HashSet<>(); for (OWLOntology ont : getRootOntology().getImportsClosure()) { Stream.concat( ont.getSubClassAxiomsForSubClass(child).stream().map(OWLSubClassOfAxiom::getSuperClass), ont.getEquivalentClassesAxioms(child).stream().flatMap(ax -> ax.getClassExpressionsMinus(child).stream()) ).forEach(ce -> { if (!ce.isAnonymous()) { result.add(ce.asOWLClass()); } else if (ce instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) ce; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass()); } } } }); } return result; }
} else if (superCls instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) superCls; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass()); } else if (ce instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) ce; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass());
for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass()); for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass());
for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass()); for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass());
} else if (superCls instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) superCls; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass()); } else if (ce instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) ce; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass());
} else if (superCls instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) superCls; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass()); } else if (ce instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) ce; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass());
} else if (superCls instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) superCls; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass()); } else if (ce instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) ce; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass());
} else if (superCls instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) superCls; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass()); } else if (ce instanceof OWLObjectIntersectionOf) { OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) ce; for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) { if (!conjunct.isAnonymous()) { result.add(conjunct.asOWLClass());