OntoUML Editor

OntoUML Editor er en modelbaseret grafisk editor, der støtter oprettelsen af ​​konceptuelle modeller og domæne ontologier i et filosofisk og kognitivt velfunderet modellering sprog opkaldt OntoUML, som er baseret på den grundlæggende ontologi UFO. Redaktøren er designet på en måde, der på den ene side, det beskytter brugeren fra kompleksiteten af ​​de ontologiske principper dette sprog. På den anden side, det styrker disse principper i de producerede modeller ved at give en mekanisme for automatisk verifikation formelle begrænsning.