Improved ontology formality levels