文件名称:OWL 2 validation of UML class diagrams-开源
文件大小:142KB
文件格式:ZIP
更新时间:2024-06-20 07:00:05
开源软件
所提供的工具,称为ONTOOL,允许基于选定的OWL 域本体创建UML 类图,并验证这些图是否与本体兼容。 ONTOOL 还允许规范化任何在 OWL 中表达的语法正确和一致的本体。 ONTOOL 已经通过多个测试用例进行测试,并通过实验进行经验评估。 该工具已实现为博士学位论文中提出的方法的概念证明:MałgorzataSadowska,“使用OWL 2中表达的域本体创建和验证UML类图”,弗罗茨瓦夫科技大学,2020年。
【文件预览】:
pwr.vp.plugin.uml.validation
----icons()
--------settings.png(2KB)
--------ico_blue.png(205B)
--------normalization.png(2KB)
--------mapping.png(1KB)
--------info3.png(1KB)
--------dictionary.png(1KB)
--------ico_v.png(544B)
--------img_correct.png(1KB)
--------ico_generalization.png(550B)
--------img_incorrect.png(1KB)
--------validation_2.png(2KB)
--------consistency.png(2KB)
--------img_new.png(963B)
--------ico_x.png(714B)
--------ico_green.png(205B)
--------validation.png(2KB)
----plugin.xml(3KB)
----classes()
--------plugin()