@Override
 public void visit(OWLObjectIntersectionOf desc) {
   handleObject(desc);
   for (OWLClassExpression op : desc.getOperands()) {
     op.accept(this);
   }
 }
 // class expressions
 @Override
 public void visit(OWLObjectIntersectionOf ce) {
   constructs.add(AL);
   for (OWLClassExpression operands : ce.getOperands()) {
     operands.accept(this);
   }
 }
 public Boolean visit(OWLObjectIntersectionOf ce) {
   for (OWLClassExpression op : ce.getOperands()) {
     if (!op.accept(this)) {
       return false;
     }
   }
   return true;
 }
 public Integer visit(OWLObjectIntersectionOf ce) {
   int max = _0;
   for (OWLClassExpression op : ce.getOperands()) {
     int depth = op.accept(this);
     if (depth > max) {
       max = depth;
     }
   }
   return max;
 }
 @Override
 public void visit(OWLObjectIntersectionOf node) {
   for (Iterator<OWLClassExpression> it = node.getOperands().iterator(); it.hasNext(); ) {
     it.next().accept(this);
     if (it.hasNext()) {
       writeSpace();
       write(AND);
       writeSpace();
     }
   }
 }
Beispiel #6
0
 /*
  * (non-Javadoc)
  *
  * @see
  * org.semanticweb.owlapi.model.OWLClassExpressionVisitor#visit(org.semanticweb
  * .owlapi.model.OWLObjectIntersectionOf)
  */
 @Override
 public void visit(OWLObjectIntersectionOf 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.CONJUNCTION.getId());
         sb.append(" ");
       }
       i++;
     }
   }
 }
 @Override
 public void visit(OWLObjectIntersectionOf desc) {
   Set<OWLClassExpression> ops = duplicateSet(desc.getOperands());
   obj = dataFactory.getOWLObjectIntersectionOf(ops);
 }
 @Override
 public void visit(OWLObjectIntersectionOf arg0) {
   boolean ret = false;
   Iterator<OWLClassExpression> iter = arg0.getOperands().iterator();
   while (!ret && iter.hasNext()) ret = containsEquality(iter.next());
 }
 public void visit(OWLObjectIntersectionOf desc) {
   for (OWLClassExpression operand : desc.getOperands()) {
     operand.accept(this);
   }
 }
 public void visit(OWLObjectIntersectionOf desc) {
   for (OWLClassExpression op : desc.getOperands()) {
     addChildParent(desc, op, desc);
     op.accept(this);
   }
 }