コード例 #1
0
 public void visit(OWLObjectOneOf desc) {
   try {
     faCTPlusPlus.initArgList();
     for (OWLIndividual ind : desc.getIndividuals()) {
       ind.accept(this);
       faCTPlusPlus.addArg(getLastIndividualPointer());
     }
     faCTPlusPlus.closeArgList();
     lastClassPointer = faCTPlusPlus.getOneOf();
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }
コード例 #2
0
 public void visit(OWLIndividual individual) {
   try {
     lastIndividualPointer = owlIndividual2IndividualPointerMap.get(individual);
     if (lastIndividualPointer == null) {
       lastIndividualPointer = faCTPlusPlus.getIndividual(individual.getURI().toString());
       individualPointerMap.put(lastIndividualPointer, individual);
       owlIndividual2IndividualPointerMap.put(individual, lastIndividualPointer);
     }
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }
コード例 #3
0
 public IndividualPointer translate(OWLIndividual individual) throws OWLException {
   individual.accept(this);
   return getLastIndividualPointer();
 }