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

• 作者: 吴家春 王洪伟 蒋馥
• 来源期刊: 系统工程理论方法应用
• 学科: 地球科学
• 关键词: 本体模型 包含性检验 描述逻辑
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 193-198
• 页数: 6页
• 分类号: N94|TP18
• 字数: 6951字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2542.2004.03.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋馥	上海交通大学安泰管理学院	131	3474	34.0	54.0
2	吴家春	上海交通大学安泰管理学院	29	836	16.0	28.0
3	王洪伟	上海交通大学安泰管理学院	16	420	9.0	16.0