OntoUML Editor

OntoUML Editor is 'n model gebaseerde grafiese redakteur dat die skepping van konseptuele modelle en domein ontologieë in 'n filosofies en kognitief grondige modellering taal vernoem OntoUML, wat gebaseer is op die fundamentele ontologie UFO ondersteun. Die redakteur is ontwerp in 'n manier wat aan die een kant, dit beskerm die gebruiker uit die kompleksiteit van die ontologiese beginsels onderliggend aan hierdie taal. Aan die ander kant, dit versterk hierdie beginsels in die vervaardigde modelle deur die verskaffing van 'n meganisme vir die outomatiese formele beperking verifikasie.