MEISRDL静态图模型向OWL DL本体转换方法与实现
MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化验证.本文介绍了一种由MEISRDL静态图模型向本体描述语言OWL DL本体的转换方法,给出了MEISRDL静态图模型元素与OWL DL元素的对应规则.同时,根据该规则在VC++6.0的环境下,设计和开发了模型转换模块.本文通过实例表明:该转换模块可以实现MEISRDL静态图模型向OWL DL本体的转换,转换后的模型借助自动推理引擎可以发现模型中存在的一致性问题。
一致性检查 静态图 军事电子信息系统 需求描述语言 半形式化语言 推理引擎 本体转换
董庆超 王智学 张婷婷
解放军理工大学指挥自动化学院 解放军理工大学理学院
国内会议
南京
中文
304-307
2008-09-01（万方平台首次上网日期，不代表论文的发表时间）