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

第29卷 第22期 计算机工程与设计 2008年 11月 VO1．29 No．22 ComputerEngineeringandDesign Nov．2008 基于扩展序类逻辑的Ontology形式化描述与模型检验 陶县俊， 王晓东 (河南师范大学计算机与信息技术学院，河南新乡453007) 摘 要：本体一直是哲学中的词汇，后来随着计算机语义网络的发展 ，引入语义web领域，用来表示概念以及概念和概念之 间的关系。用逻辑来形式化Ontology，并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点。参考描 述逻辑描述本体的方法，提出了以扩展序类逻辑来描述本体 ，并对描述后的本体进行检验。 关键词：本体；序类逻辑；谓词；描述逻辑；属性；事件 中图法分类号：TP301．2 文献标识码：A 文章编号：1000．7024(2008)22．5780．03 Formaldescriptionandmodeltestingof