 Among these products, they offer the Menthor Editor, an open-source ontology engineering tool for dealing with OntoUML models.It also includes OntoUML syntax validation, Alloy simulation,[2][3] Anti-Pattern verification,[4] and MDA transformations from OntoUML to OWL,[5][6] SBVR and Natural Language (Brazilian Portuguese).Menthor Editor is derived from OLED.