简单本体的形式化模型及包含性检验  

Study on Naive Ontology Model and Subsumption Checking

作　　者：王洪伟[1] 蒋馥[1] 吴家春[1] 

机构地区：[1]上海交通大学安泰管理学院,上海200052

出　　处：《系统工程理论方法应用》2004年第3期193-198,共6页Systems Engineering Theory·Methodology·Applications

基　　金：国家自然科学基金资助项目(70271038)

摘　　要：本体是指对领域概念化的一个显式的规格说明,应用在智能体间的通信、异构信息的集成、语义Web等领域。利用描述逻辑建立了一个简单本体的形式化模型——一个四元组,包括术语集、实例集、术语定义集和实例声明集,然后分析了本体术语检验问题。术语检验包括术语的可满足性、等价性、包含性及非交性检验,这4种检验可以归结为包含性检验。最后给出术语包含性的检验方法,并证明了这种方法的合理性与完备性。Ontology is regarded as an explicit specification of a conceptualization, which has been used in various areas, such as conceptual modeling, information integration, agent-based system design, and semantic Web. In this paper, a naive ontology model is constructed in formal way using Description Logic, which is a 4-tuples including term sed, individual set, term definition set and instantiation assertion set. Based on the model, the issue on ontology checking is studied with the conclusion that the four kinds of ontology checking, including satisfiability, subsumption, equivalence and disjointness, can be reduec to subsumption problem. At last, we give a sound and complete method to problem of subsumption.

关 键 词：本体模型 包含性检验 描述逻辑 

分 类 号：N94[自然科学总论—系统科学] TP18[自动化与计算机技术—控制理论与控制工程]