基于扩展序类逻辑的Ontology形式化描述与模型检验
本体一直是哲学中的词汇,后来随着计算机语义网络的发展,引入语义web领域,用来表示概念以及概念和概念之间的关系.用逻辑来形式化Ontology,并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点.参考描述逻辑描述本体的方法,提出了以扩展序类逻辑来描述本体,并对描述后的本体进行检验.
本体、序类逻辑、谓词、描述逻辑、属性、事件
29
TP301.2(计算技术、计算机技术)
河南省科技厅科技攻关基金项目0624480021
2009-02-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
5780-5782,5785