@Override public void visit(OWLObjectUnionOf ce) { List<OWLClassExpression> operands = ce.getOperandsAsList(); for (OWLClassExpression op : operands) { op.accept(this); } length += (operands.size() - 1) * metric.objectUnionLength; }
@Override public void visit(OWLObjectUnionOf desc) { List<OWLClassExpression> operands = desc.getOperandsAsList(); Collections.sort(operands, comparator); SortedSet<OWLClassExpression> renamedOperands = new TreeSet<>(comparator); for(OWLClassExpression expr : operands){ renamedOperands.add(rename(expr)); } renamedOWLObject = df.getOWLObjectUnionOf(renamedOperands); }
@Override public void visit(OWLObjectUnionOf ce) { List<OWLClassExpression> operands = ce.getOperandsAsList(); for (int i = 0; i < operands.size()-1; i++) { sparql += "{"; OWLClassExpression operand = operands.get(i); parent.push(operand); parentVar.push(variables.peek()); operand.accept(this); parent.pop(); sparql += "}"; sparql += " UNION "; } sparql += "{"; operands.get(operands.size()-1).accept(this); sparql += "}"; }
@Override public OWLClassExpression visit(OWLObjectUnionOf ce) { List<OWLClassExpression> operands = new ArrayList<>(); for (OWLClassExpression operand : ce.getOperands()) { OWLClassExpression newOperand = operand.accept(this); if(newOperand instanceof OWLObjectUnionOf){ operands.addAll(((OWLObjectUnionOf) newOperand).getOperandsAsList()); } else { operands.add(newOperand); } } Collections.sort(operands); return new OWLObjectUnionOfImplExt(operands); }
@Override public OWLClassExpression visit(OWLObjectUnionOf d) { List<OWLClassExpression> list=transform(d.getOperandsAsList(), ExpressionManager.this::getNNF); return m_factory.getOWLObjectUnionOf(list); } @Override
@Override public OWLClassExpression visit(OWLObjectUnionOf d) { List<OWLClassExpression> list=transform(d.getOperandsAsList(), ExpressionManager.this::getComplementNNF); return m_factory.getOWLObjectIntersectionOf(list); } @Override
@Override public OWLClassExpression visit(OWLObjectUnionOf desc) { List<OWLClassExpression> ops = new ArrayList<>(); for (OWLClassExpression op : desc.getOperandsAsList()) { ops.add(op.accept(this)); } if (negated) { // Flip to an intersection return new OWLObjectIntersectionOfImplExt(ops); } else { return new OWLObjectUnionOfImplExt(ops); } }
@Override public void visit(OWLObjectUnionOf ce) { if (ce.getOperands().size() < 2) { if (ce.getOperands().size() <= 0) { throw new RuntimeException(ce + " wrong number of operands"); } stack.push(ce.getOperandsAsList().get(0)); } else { Set<OWLClassExpression> operands = new HashSet<>(); for (OWLClassExpression c : ce.getOperands()) { c.accept(this); operands.add(stack.pop()); } stack.push(factory.getOWLObjectUnionOf(operands)); } }
@Override public OWLClassExpression visit(OWLObjectUnionOf d) { List<OWLClassExpression> newDisjuncts=new ArrayList<>(); for (OWLClassExpression description : d.getOperandsAsList()) { OWLClassExpression descriptionSimplified=getSimplified(description); if (descriptionSimplified.isOWLThing()) return m_factory.getOWLThing(); else if (descriptionSimplified.isOWLNothing()) continue; else if (descriptionSimplified instanceof OWLObjectUnionOf) newDisjuncts.addAll(((OWLObjectUnionOf)descriptionSimplified).getOperandsAsList()); else newDisjuncts.add(descriptionSimplified); } return m_factory.getOWLObjectUnionOf(newDisjuncts); } @Override
for(OWLObjectUnionOf md : baseSet) { for(OWLClassExpression c : newSet) { operands = md.getOperandsAsList(); operands.add(c); Collections.sort(operands);
List<OWLClassExpression> operands = ((OWLObjectUnionOf) concept).getOperandsAsList(); Set<OWLIndividual> pos = cache.get(operands.get(0)); for (int i = 1; i < operands.size(); i++) {
@Override public OWLClassExpression visit(OWLObjectUnionOf ce) { List<OWLClassExpression> operands = ce.getOperandsAsList();
for (OWLClassExpression op : ((OWLObjectUnionOf) conceptClone).getOperandsAsList()) { OWLClassExpression c = applyEquivalenceRules(op);
List<OWLClassExpression> operands = ((OWLObjectUnionOf) concept).getOperandsAsList(); for(OWLClassExpression child : operands) {
List<OWLClassExpression> operands = ((OWLObjectUnionOf) concept).getOperandsAsList(); for(OWLClassExpression child : operands) { for(OWLClassExpression child : ((OWLObjectUnionOf) concept).getOperandsAsList()) { List<OWLClassExpression> newChildren = new LinkedList<>(operands); newChildren.remove(child);
addQualifiers(c, ax.annotations()); } else if (ce2 instanceof OWLObjectUnionOf) { List<? extends OWLClassExpression> list2 = ((OWLObjectUnionOf) ce2).getOperandsAsList(); for (OWLClassExpression oce : list2) { String id = getIdentifier(oce);
addQualifiers(c, ax.annotations()); } else if (ce2 instanceof OWLObjectUnionOf) { List<? extends OWLClassExpression> list2 = ((OWLObjectUnionOf) ce2).getOperandsAsList(); for (OWLClassExpression oce : list2) { String id = getIdentifier(oce);
addQualifiers(c, ax.annotations()); } else if (ce2 instanceof OWLObjectUnionOf) { List<? extends OWLClassExpression> list2 = ((OWLObjectUnionOf) ce2).getOperandsAsList(); for (OWLClassExpression oce : list2) { String id = getIdentifier(oce);
addQualifiers(c, ax.annotations()); } else if (ce2 instanceof OWLObjectUnionOf) { List<? extends OWLClassExpression> list2 = ((OWLObjectUnionOf) ce2).getOperandsAsList(); for (OWLClassExpression oce : list2) { String id = getIdentifier(oce);
} else if (ce2 instanceof OWLObjectUnionOf) { List<OWLClassExpression> list2 = ((OWLObjectUnionOf) ce2) .getOperandsAsList();