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);
}
}
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);
}
}
public IndividualPointer translate(OWLIndividual individual) throws OWLException {
individual.accept(this);
return getLastIndividualPointer();
}