|
|||||
|
|
| 基于扩展序类逻辑的Ontology形式化描述与模型检验 | |
| 引用本文： | 陶县俊,王晓东.基于扩展序类逻辑的Ontology形式化描述与模型检验[J].计算机工程与设计,2008,29(22). |
| 作者姓名： | 陶县俊 王晓东 |
| 作者单位： | 河南师范大学,计算机与信息技术学院,河南,新乡,453007 |
| 基金项目： | 河南省科技厅科技攻关基金项目 |
| 摘 要： | 本体一直是哲学中的词汇,后来随着计算机语义网络的发展,引入语义web领域,用来表示概念以及概念和概念之间的关系.用逻辑来形式化Ontology,并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点.参考描述逻辑描述本体的方法,提出了以扩展序类逻辑来描述本体,并对描述后的本体进行检验. |
| 关 键 词： | 本体 序类逻辑 谓词 描述逻辑 属性 事件 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |