OntoUML Editor

OntoUML Editor is a model-based graphical editor that supports the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling language named OntoUML, which is based on the foundational ontology UFO. The editor is designed in a way that, on one hand, it shields the user from the complexity of the ontological principles underlying this language. On the other hand, it reinforces these principles in the produced models by providing a mechanism for automatic formal constraint verification.