New module to convert OWL axioms to NL.