| 简单本体的形式化模型及包含性检验 |
| |
| 引用本文： | 王洪伟,蒋馥,吴家春.简单本体的形式化模型及包含性检验[J].系统管理学报,2004,13(3):193-198. |
| |
| 作者姓名： | 王洪伟 蒋馥 吴家春 |
| |
| 作者单位： | 上海交通大学,安泰管理学院,上海,200052 |
| |
| 基金项目： | 国家自然科学基金资助项目(70271038) |
| |
| 摘 要： | 本体是指对领域概念化的一个显式的规格说明,应用在智能体间的通信、异构信息的集成、语义Web等领域。利用描述逻辑建立了一个简单本体的形式化模型——一个四元组,包括术语集、实例集、术语定义集和实例声明集,然后分析了本体术语检验问题。术语检验包括术语的可满足性、等价性、包含性及非交性检验,这4种检验可以归结为包含性检验。最后给出术语包含性的检验方法,并证明了这种方法的合理性与完备性。
|
| 关 键 词： | 本体模型 包含性检验 描述逻辑 |
| 文章编号： | 1005-2542(2004)03-0193-06 |
| 修稿时间： | 2003年7月28日 |
Study on Naive Ontology Model and Subsumption Checking |
| |
| WANG Hong-wei,JIANG Fu,WU Jia-chun.Study on Naive Ontology Model and Subsumption Checking[J].Systems Engineering Theory·Methodology·Applications,2004,13(3):193-198. |
| |
| Authors: | WANG Hong-wei JIANG Fu WU Jia-chun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
