基于UML类图的本体模型一致性检查方法
UML是目前广泛采用的软件建模语言。用它作为本体的可视化建模，可以为大多数软件工程师所接受。但UML并非是一种形式化语言。无法进行精确语义的模型检验。为了利用UML类图对本体建模并实现本体模型的检查。本文提出一种基于UML类图的本体模型一致性检查方法，该方法采用描述逻辑SHOIN(D)描述UML类图图元。实现基于UML类图本体模型的形式化描述。转换后的本体模型，借助自动推理引擎，可以自动发现模型中存在的语义上的矛盾与冲突。该方法解决了UML类图模型无法进行精确语义模型检验的难题，给本体模型的构建和维护工作提供可靠的技术支持。
描述逻辑 本体模型 一致性检查 统一建模语言 语义模型 类图模型
董庆超 王智学 候蕾 陈剑
解放军理工大学指挥自动化学院 江苏 南京 210007 空军指挥学院
国内会议
山东烟台
中文
474-478
2008-10-31（万方平台首次上网日期，不代表论文的发表时间）