public Object visit(OWLDataOneOf node) {
   if (node.getValues().size() != 1) {
     profileViolations.add(
         new UseOfDataOneOfWithMultipleLiterals(getCurrentOntology(), getCurrentAxiom(), node));
   }
   return null;
 }
 @Override
 public void visit(OWLDataOneOf node) {
   for (Iterator<OWLLiteral> it = node.getValues().iterator(); it.hasNext(); ) {
     writeOpenBrace();
     it.next().accept(this);
     writeCloseBrace();
     if (it.hasNext()) {
       writeSpace();
       write(OR);
       writeSpace();
     }
   }
 }
 @Override
 public void visit(OWLDataOneOf node) {
   Set<OWLLiteral> vals = duplicateSet(node.getValues());
   obj = dataFactory.getOWLDataOneOf(vals);
 }
 @Override
 public void visit(OWLDataOneOf node) {
   handleObject(node);
   process(node.getValues());
 }
 public void visit(OWLDataOneOf node) {
   for (OWLLiteral val : node.getValues()) {
     val.accept(this);
   }
 }