简单本体的形式化模型及包含性检验
本体是指对领域概念化的一个显式的规格说明,应用在智能体间的通信、异构信息的集成、语义Web等领域.利用描述逻辑建立了一个简单本体的形式化模型--一个四元组,包括术语集、实例集、术语定义集和实例声明集,然后分析了本体术语检验问题.术语检验包括术语的可满足性、等价性、包含性及非交性检验,这4种检验可以归结为包含性检验.最后给出术语包含性的检验方法,并证明了这种方法的合理性与完备性.
作 者： 王洪伟 蒋馥 吴家春 作者单位： 上海交通大学,安泰管理学院,上海,200052 刊 名： 系统工程理论方法应用 ISTIC PKU 英文刊名： SYSTEMS ENGINEERING—THEORY METHODOLOGY APPLICATIONS 年，卷(期)： 2004 13(3) 分类号： N94 TP18 关键词： 本体模型 包含性检验 描述逻辑