【文件属性】：
文件名称：论文研究-面向事实建模方法ORM的一阶逻辑形式化分析.pdf
文件大小：220KB
文件格式：PDF
更新时间：2022-08-11 14:15:49
对象角色建模,面向事实建模,一阶逻辑形式化分析
对象角色建模方法是一种完全面向交流的面向事实概念建模方法，目前已发展到2.0版，已应用于本体论工程，因此需要对其进行形式化以分析其本体表达能力。Halpin定义了一种知识表达语言KL，并使用KL形式化分析了早期版本的ORM。借鉴Halpin的研究成果，采用经典的一阶逻辑语言L全面地分析了ORM 20的形式化语义。