Reformatted code with same style as OWLAPI