基于UML类图的本体模型一致性检查方法 - 第十三届全国青年通信学术会议.pdf

10 0
2026-1-12 11:38 | 查看全部 阅读模式

会议论文《基于UML类图的本体模型一致性检查方法》发表于第十三届全国青年通信学术会议。该文提出一种利用UML类图对本体模型进行一致性检查的方法,通过将本体结构映射到UML类图,结合语义分析与形式化验证技术,确保模型内部各元素之间的逻辑一致性。该方法为本体建模提供了有效的质量保障手段,具有重要的理论和应用价值。

文档为pdf格式,0.5MB,总共5页。

基于UML类图的本体模型一致性检查方法 - 第十三届全国青年通信学术会议
文件大小:
512 KB
高速下载
2026 资料下载 联系邮件:1991591830#qq.com 浙ICP备2024084428号-1