C. H. Emani et al.,  "BEAUFORD: A Benchmark for Evaluation of Formalisation of Definitions in OWL", in Open Journal of Semantic Web, vol. 2, no. 1, pp. 4-15, 2015