OCL2FOL+

OCL2FOL+ implements our mapping ocl2fol+ from OCL to first-order logic.

The mapping ocl2fol+ is available online. See here.