OntoUML Editor

OntoUML Editor är en modellbaserad grafisk editor som stödjer skapandet av konceptuella modeller och domän ontologier i ett filosofiskt och kognitivt välgrundad modelleringsspråk som heter OntoUML, som bygger på den grundläggande ontologi UFO. Editorn är utformad på ett sådant sätt att, å ena sidan, skyddar den användaren från komplexiteten i de ontologiska principer detta språk. Å andra sidan förstärker det dessa principer i de producerade modellerna genom att tillhandahålla en mekanism för automatisk formell begränsning verifiering.