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

Formal description and model testing of Ontology based on extended order-sorted logic

作　　者：陶县俊[1] 王晓东[1] 

机构地区：[1]河南师范大学计算机与信息技术学院,河南新乡453007

出　　处：《计算机工程与设计》2008年第22期5780-5782,5785,共4页Computer Engineering and Design

基　　金：河南省科技厅科技攻关基金项目(0624480021)

摘　　要：本体一直是哲学中的词汇,后来随着计算机语义网络的发展,引入语义web领域,用来表示概念以及概念和概念之间的关系。用逻辑来形式化Ontology,并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点。参考描述逻辑描述本体的方法,提出了以扩展序类逻辑来描述本体,并对描述后的本体进行检验。Ontology is a philosophical word. However, with the development of computer semantic network, it is introduced to semantic web field and used to express concepts and the relationship between the concepts. Using the logic to formalize the Ontology and trying to test or reason the Ontology has been the hot point and difficulty. With the method of consulting description logic to express Ontology, to describe Ontology by using the extended order-sorted logic is proposed and then test and infer Ontology after the description.

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

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]