基于扩展序类逻辑的Ontology形式化描述与模型检验

摘要：

本体一直是哲学中的词汇,后来随着计算机语义网络的发展,引入语义web领域,用来表示概念以及概念和概念之间的关系.用逻辑来形式化Ontology,并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点.参考描述逻辑描述本体的方法,提出了以扩展序类逻辑来描述本体,并对描述后的本体进行检验.

关键词：本体、序类逻辑、谓词、描述逻辑、属性、事件

所属期刊栏目：29

分类号：TP301.2(计算技术、计算机技术)

资助基金：河南省科技厅科技攻关基金项目0624480021

在线出版日期：2009-02-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：5780-5782,5785