OntoUML Editor

Omschrijving

OntoUML Editor is een op modellen gebaseerde grafische editor die het creëren van conceptuele modellen en domeinontologieën ondersteunt in een filosofisch en cognitief goed onderbouwde modelleertaal genaamd OntoUML, die is gebaseerd op de fundamentele ontologie UFO. De editor is zo ontworpen dat hij enerzijds de gebruiker afschermt van de complexiteit van de ontologische principes die aan deze taal ten grondslag liggen. Aan de andere kant versterkt het deze principes in de geproduceerde modellen door te voorzien in een mechanisme voor automatische verificatie van formele beperkingen.