Java OWLObjectUnionOf.getOperands Examples

Example #1

File: DLExpressivityChecker.java Project: Orphanet/java_ORDO

 @Override
 public void visit(OWLObjectUnionOf ce) {
   constructs.add(U);
   for (OWLClassExpression operands : ce.getOperands()) {
     operands.accept(this);
   }
 }

Example #2

File: MaximumModalDepthFinder.java Project: ZongleiJiao/OWLAPI2CPP

 public Integer visit(OWLObjectUnionOf ce) {
   int max = _0;
   for (OWLClassExpression op : ce.getOperands()) {
     int depth = op.accept(this);
     if (depth > max) {
       max = depth;
     }
   }
   return max;
 }

Example #3

File: LatexObjectVisitor.java Project: JPuritscher/owlapi

 @Override
 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();
     }
   }
 }

Example #4

File: ALCRenderer.java Project: jmayaalv/mapo

 /*
  * (non-Javadoc)
  *
  * @see
  * org.semanticweb.owlapi.model.OWLClassExpressionVisitor#visit(org.semanticweb
  * .owlapi.model.OWLObjectUnionOf)
  */
 @Override
 public void visit(OWLObjectUnionOf axiom) {
   Set<OWLClassExpression> owlClassEspressions = axiom.getOperands();
   if (owlClassEspressions != null) {
     int i = 1;
     for (OWLClassExpression exp : owlClassEspressions) {
       exp.accept(this);
       if (i < owlClassEspressions.size()) {
         sb.append(" ");
         sb.append(Operator.DISJUNCTION.getId());
         sb.append(" ");
       }
       i++;
     }
   }
 }

Example #5

File: OWLObjectDuplicator.java Project: rita-zgheib/owl-api

 @Override
 public void visit(OWLObjectUnionOf desc) {
   Set<OWLClassExpression> ops = duplicateSet(desc.getOperands());
   obj = dataFactory.getOWLObjectUnionOf(ops);
 }

Example #6

File: OWLObjectComponentCollector.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLObjectUnionOf desc) {
   handleObject(desc);
   process(desc.getOperands());
 }

Example #7

File: EqualityClassExpressionVisitor.java Project: anaarmas/MORe

 @Override
 public void visit(OWLObjectUnionOf arg0) {
   boolean ret = false;
   Iterator<OWLClassExpression> iter = arg0.getOperands().iterator();
   while (!ret && iter.hasNext()) ret = containsEquality(iter.next());
 }

Example #8

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Project: Orphanet/java_ORDO

 public void visit(OWLObjectUnionOf desc) {
   for (OWLClassExpression operand : desc.getOperands()) {
     operand.accept(this);
   }
 }

Example #9

File: OWLVizAxiomGraphModel.java Project: AggelikiKonstadinidou/owlviz

 public void visit(OWLObjectUnionOf desc) {
   for (OWLClassExpression op : desc.getOperands()) {
     addChildParent(desc, op, desc);
   }
 }