OntoUML Editor

OntoUML Editor ay isang modelo-based graphical editor na sumusuporta sa paglikha ng mga haka-haka na mga modelo at ontologies domain sa isang philosophically at cognitively maganda ang pundasyon ng wika modeling pinangalanang OntoUML, na kung saan ay batay sa mga batayang ontolohiya UFO. Editor ay dinisenyo sa paraan na, sa isang dako, kalasag ito ang mga gumagamit mula sa kumplikado ng ang ontological prinsipyo pinagbabatayan wikang ito. Sa kabilang banda, ito reinforces mga alituntuning ito sa mga ginawa ng mga modelo sa pamamagitan ng pagbibigay ng isang mekanismo para sa awtomatikong mga pormal na pagpilit pagpapatunay.