コード例 #1
0
 public void visit(OWLObjectIntersectionOf owlAnd) {
   try {
     // We can't do "nested" arg lists, so translate all operands
     // and put the pointers into a set first, then create the intersection
     Set<ClassPointer> operandPointers = new HashSet<ClassPointer>();
     for (OWLDescription desc : owlAnd.getOperands()) {
       desc.accept(this);
       ClassPointer cp = getLastClassPointer();
       operandPointers.add(cp);
     }
     // Now create the actual class pointer for the OWLAnd.
     faCTPlusPlus.initArgList();
     for (ClassPointer operandPointer : operandPointers) {
       faCTPlusPlus.addArg(operandPointer);
     }
     faCTPlusPlus.closeArgList();
     lastClassPointer = faCTPlusPlus.getConceptAnd();
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }
コード例 #2
0
 public void visit(OWLObjectIntersectionOf desc) {
   for (OWLClassExpression op : desc.getOperands()) {
     addChildParent(desc, op, desc);
     op.accept(this);
   }
 }