OntoUML Editor

OntoUML Editor is een model-gebaseerde grafische editor die de creatie van conceptuele modellen en domeinbeheer ontologieën in een filosofisch en cognitief goed onderbouwde modelleertaal genaamd OntoUML, die is gebaseerd op de fundamentele ontologie UFO ondersteunt. De uitgever is zo ontworpen dat, enerzijds, schermt de gebruiker de complexiteit van de ontologische uitgangspunten deze taal. Aan de andere kant versterkt deze beginselen in de geproduceerde apparaten die door een mechanisme voor automatische formele constraint verificatie.