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

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

本体是指对领域概念化的一个显式的规格说明,应用在智能体间的通信、异构信息的集成、语义Web等领域.利用描述逻辑建立了一个简单本体的形式化模型--一个四元组,包括术语集、实例集、术语定义集和实例声明集,然后分析了本体术语检验问题.术语检验包括术语的可满足性、等价性、包含性及非交性检验,这4种检验可以归结为包含性检验.最后给出术语包含性的检验方法,并证明了这种方法的合理性与完备性.

作 者： 王洪伟 蒋馥 吴家春   作者单位： 上海交通大学,安泰管理学院,上海,200052  刊 名： 系统工程理论方法应用  ISTIC PKU 英文刊名： SYSTEMS ENGINEERING—THEORY METHODOLOGY APPLICATIONS  年，卷(期)： 2004 13(3)  分类号： N94 TP18  关键词： 本体模型   包含性检验   描述逻辑  

【简单本体的形式化模型及包含性检验】相关文章：

基于本体面向专家的知识服务系统应用模型04-26

包含温度因子的海水地球物理模型函数建模研究04-26

广义非线性混合效应模型的变离差检验04-27

半参数模型的粗差检验问题的研究04-27

形式化与合法性-城市社区基层制度结构的变动及功能解释04-27

再论本体04-27

稻田土壤有机碳变化的模拟:SCNC模型检验04-27

复合材料等效模型的适用性分析04-26

Poisson模型中基于Score检验统计量的影响诊断04-26

从自然科学到工程科学的对称性本体论研究04-26