public Boolean visit(OWLObjectUnionOf desc) { for (OWLClassExpression op : desc.getOperands()) { if (!isOWL2RLSubClassExpression(op)) { return false; } } return true; }
@Override public void visit(OWLObjectUnionOf desc) { hashCode = 241; hashCode = hashCode * MULT + desc.getOperands().hashCode(); }
private boolean containsOverlyGeneralElement(OWLObjectUnionOf md) { for (OWLClassExpression child : md.getOperands()) { if (overlyGeneralList.contains(child)) return true; } return false; }
@Override public void visit(OWLObjectUnionOf ce) { hashCode = primes[49]; hashCode = hashCode * MULT + ce.getOperands().hashCode(); }
public void visit(OWLObjectUnionOf desc) { constructs.add(U); for (OWLClassExpression operands : desc.getOperands()) { operands.accept(this); } }
public void visit(OWLObjectUnionOf union) { int size = union.getOperands().size(); if (size > m_Size) { m_Size = size; } super.visit(union); } }
public void visit(OWLObjectUnionOf desc) { for (OWLClassExpression op : desc.getOperands()) { addChildParent(desc, op, desc); } }
@Override public void visit(OWLObjectUnionOf ce) { Set<OWLClassExpression> operands = ce.getOperands(); for (OWLClassExpression op : operands) { op.accept(this); } }
public void visit(OWLObjectUnionOf node) { for (OWLClassExpression desc : node.getOperands()) { desc.accept(this); } }
@Override public List<? extends ElkClassExpression> getClassExpressions() { List<ElkClassExpression> result = new ArrayList<ElkClassExpression>(); for (OWLClassExpression ce : this.owlObject.getOperands()) { result.add(converter.convert(ce)); } return result; }
public void visit(OWLObjectUnionOf desc) { for (OWLClassExpression conj : desc.getOperands()) { if (isTopEquivalent(conj)) { isTopEquivalent = true; return; } } isTopEquivalent = false; }
public void visit(OWLObjectUnionOf desc) { for (OWLClassExpression op : desc.getOperands()) { op.accept(this); } }
public OWLClassExpression visit(OWLObjectUnionOf d) { Set<OWLClassExpression> newConjuncts=new HashSet<OWLClassExpression>(); for (OWLClassExpression description : d.getOperands()) newConjuncts.add(getComplementNNF(description)); return m_factory.getOWLObjectIntersectionOf(newConjuncts); } public OWLClassExpression visit(OWLObjectComplementOf d) {
public OWLClassExpression visit(OWLObjectUnionOf desc) { Set<OWLClassExpression> ops = new HashSet<OWLClassExpression>(); for (OWLClassExpression op : desc.getOperands()) { ops.add(op.accept(this)); } return dataFactory.getOWLObjectUnionOf(ops); }
@Override public Integer visit(OWLObjectUnionOf ce) { int max = 0; for (OWLClassExpression op : ce.getOperands()) { int depth = op.accept(this).intValue(); if (depth > max) { max = depth; } } return i(max); }
public void visit(OWLObjectUnionOf node) { for (Iterator<OWLClassExpression> it = node.getOperands().iterator(); it.hasNext();) { it.next().accept(this); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLObjectUnionOf desc) { writer.writeStartElement(OBJECT_UNION_OF); render(desc.getOperands()); writer.writeEndElement(); }
public void visit(OWLObjectUnionOf desc) { write(OBJECT_UNION_OF); writeOpenBracket(); write(desc.getOperands()); writeCloseBracket(); }
@Override public void visit(OWLObjectUnionOf ce) { PrettyPrint pp = shouldWrapOperands(ce); increaseDepth(); renderCollection(ce.getOperands(), OR, getBracketingForObject(ce), getPrettyPrinting(pp)); decreaseDepth(); }
@Override public void visit(OWLObjectUnionOf desc) { translateAnonymousNode(desc); addTriple(desc, RDF_TYPE.getIRI(), OWL_CLASS.getIRI()); addListTriples(desc, OWL_UNION_OF.getIRI(), desc.getOperands()); }