OntoUML Editor

OntoUML Editor ist eine modellbasierte grafische Editor, der die Erstellung von konzeptuellen Modellen und Domain-Ontologien in einer philosophisch und kognitiv fundierte Modellierungssprache namens OntoUML, die auf der grundlegenden Ontologie UFO basiert unterstützt. Der Editor wird in einer Weise, die auf der einen Seite, den Benutzer von der Komplexität der ontologischen Prinzipien diese Sprache zugrunde liegenden schirmt es entworfen. Andererseits verstärkt sie diese Prinzipien in den erzeugten Modellen, indem ein Mechanismus für die automatische formalen Verifizierungsbeschränkung.