OntoUML编辑器是支持创建概念模型和领域本体的命名OntoUML一个哲学和认知有理有据的建模语言,它是基于基础本体UFO基于模型的图形编辑器。编辑器被设计为使得,一方面,它保护从所述的底层该语言的本体论原则复杂的用户的方法。另一方面,它提供了一个机构,用于自动正式约束验证强化所生产机型这些原则。...

OntoUML编辑器是支持创建概念模型和领域本体的命名OntoUML一个哲学和认知有理有据的建模语言,它是基于基础本体UFO基于模型的图形编辑器。编辑器被设计为使得,一方面,它保护从所述的底层该语言的本体论原则复杂的用户的方法。另一方面,它提供了一个机构,用于自动正式约束验证强化所生产机型这些原则。...