private SortedSetTuple<OWLIndividual> handleMultiConjunction(OWLObjectIntersectionOf mc) { List<OWLClassExpression> operands = mc.getOperandsAsList(); Set<OWLIndividual> pos = cache.get(operands.get(0)); for (int i = 1; i < operands.size(); i++) { pos = Sets.intersection(pos, cache.get(operands.get(i))); } // TODO: handle the case that some children may not be in cache return null; } }
@Override public void visit(OWLObjectIntersectionOf ce) { List<OWLClassExpression> operands = ce.getOperandsAsList(); for (OWLClassExpression op : operands) { op.accept(this); } length += (operands.size() - 1) * metric.objectIntersectionLength; }
@Override public void visit(OWLObjectIntersectionOf expr) { boolean root = stack.isEmpty(); stack.push(new QueryTreeImpl<>("?", NodeType.VARIABLE, id++)); for (OWLClassExpression op : expr.getOperandsAsList()) { op.accept(this); } // if(!root) // stack.pop(); }
@Override public void visit(OWLObjectIntersectionOf desc) { List<OWLClassExpression> operands = desc.getOperandsAsList(); // Collections.sort(operands, comparator); Set<OWLClassExpression> renamedOperands = new HashSet<>();//new TreeSet<>(comparator); for(OWLClassExpression expr : operands){ renamedOperands.add(rename(expr)); } renamedOWLObject = df.getOWLObjectIntersectionOf(renamedOperands); }
@Override public OWLClassExpression visit(OWLObjectIntersectionOf ce) { List<OWLClassExpression> operands = new ArrayList<>(); for (OWLClassExpression operand : ce.getOperands()) { OWLClassExpression newOperand = operand.accept(this); if(newOperand instanceof OWLObjectIntersectionOf){ operands.addAll(((OWLObjectIntersectionOf) newOperand).getOperandsAsList()); } else { operands.add(newOperand); } } Collections.sort(operands); return new OWLObjectIntersectionOfImplExt(operands); }
@Override public OWLClassExpression visit(OWLObjectIntersectionOf desc) { List<OWLClassExpression> ops = new ArrayList<>(); for (OWLClassExpression op : desc.getOperandsAsList()) { ops.add(op.accept(this)); } if (negated) { return new OWLObjectUnionOfImplExt(ops); } else { return new OWLObjectIntersectionOfImplExt(ops); } }
@Override public OWLClassExpression visit(OWLObjectIntersectionOf d) { List<OWLClassExpression> list= transform(d.getOperandsAsList(), ExpressionManager.this::getNNF); return m_factory.getOWLObjectIntersectionOf(list); } @Override
@Override public OWLClassExpression visit(OWLObjectIntersectionOf d) { List<OWLClassExpression> list=transform(d.getOperandsAsList(), ExpressionManager.this::getComplementNNF); return m_factory.getOWLObjectUnionOf(list); } @Override
@Override public OWLClassExpression visit(OWLObjectIntersectionOf d) { List<OWLClassExpression> newConjuncts=new ArrayList<>(); for (OWLClassExpression description : d.getOperandsAsList()) { OWLClassExpression descriptionSimplified=getSimplified(description); if (descriptionSimplified.isOWLThing()) continue; else if (descriptionSimplified.isOWLNothing()) return m_factory.getOWLNothing(); else if (descriptionSimplified instanceof OWLObjectIntersectionOf) { newConjuncts.addAll(((OWLObjectIntersectionOf)descriptionSimplified).getOperandsAsList()); } else newConjuncts.add(descriptionSimplified); } return d; } @Override
@Override public void visit(OWLObjectIntersectionOf 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.getOWLObjectIntersectionOf(operands)); } }
@Override public void visit(OWLObjectIntersectionOf ce) { enterIntersection(); List<OWLClassExpression> operands = ce.getOperandsAsList(); for (OWLClassExpression operand : operands) { operand.accept(this); } Collection<OWLEntity> props = properties.get(modalDepth()); if(props.size() > 1){ Collection<String> vars = new TreeSet<>(); for (OWLEntity p : props) { if(mapping.containsKey(p)){ vars.add(mapping.get(p)); } } if(vars.size() == 2){ List<String> varList = new ArrayList<>(vars); sparql += "FILTER(" + varList.get(0) + "!=" + varList.get(1) + ")"; } } leaveIntersection(); }
@SuppressWarnings({"unused"}) private boolean containsDisjoints(OWLObjectIntersectionOf intersection, OWLClassExpression d) { List<OWLClassExpression> children = intersection.getOperandsAsList(); for(OWLClassExpression child : children) { if(d.isOWLNothing()) return true; else if(!child.isAnonymous()) { if(isDisjoint(child, d)) return true; } } return false; }
@Override public OWLClassExpression visit(OWLObjectIntersectionOf ce) { List<OWLClassExpression> operands = ce.getOperandsAsList();
for (OWLClassExpression op : ((OWLObjectIntersectionOf) conceptClone).getOperandsAsList()) { OWLClassExpression c = applyEquivalenceRules(op);
List<OWLClassExpression> operands = ((OWLObjectIntersectionOf) concept).getOperandsAsList();
List<OWLClassExpression> operands = ((OWLObjectIntersectionOf) concept).getOperandsAsList();
List<OWLClassExpression> operands = ((OWLObjectIntersectionOf) ce).getOperandsAsList();
.getOperandsAsList(); for (OWLClassExpression ce : list2) { String r = null;
.getOperandsAsList(); for (OWLClassExpression ce : list2) { String r = null;
.getOperandsAsList(); for (OWLClassExpression ce : list2) { String r = null;