| F-SHIQ公理体系及其OWL扩展 |
| |
| 引用本文： | 李明泉,冯志勇. F-SHIQ公理体系及其OWL扩展[J]. 计算机工程与应用, 2008, 44(30): 1-5. DOI: 10.3778/j.issn.1002-8331.2008.30.001 |
| |
| 作者姓名： | 李明泉 冯志勇 |
| |
| 作者单位： | 天津大学 计算机科学与技术学院，天津 300072 |
| |
| 基金项目： | 天津市自然科学基金，天津市自然科学基金 |
| |
| 摘 要： | 随着计算机和Internet的快速发展，语义网和描述逻辑在人工智能等领域扮演着越来越重要的角色。但在日常生活中，越来越多不确定的、不完整的知识需要解决，而现存的OWL只能表述确定的完整的概念和关系。为了能够表示和推理模糊知识，给出了一个基于描述逻辑SHIQ的全新的模糊描述逻辑公理体系——F-SHIQ公理体系，并以此公理体系为基础，扩展了OWL本体语言，能够描述和推理模糊知识。该文首先给出了系统详细的定义、公理、定理以及定理的证明；然后详述了如何用FSRL，即基于F-SHIQ的OWL扩展，来表示和推理模糊信息；最后通过一个例子来检验扩展语言的应用效果。
|
| 关 键 词： | 模糊描述逻辑 推理规则 模糊扩展 |
| 收稿时间： | 2008-05-20 |
| 修稿时间： | 2008-6-16 |
F-SHIQ axiom system and extension of OWL |
| |
| LI Ming-quan,FENG Zhi-yong. F-SHIQ axiom system and extension of OWL[J]. Computer Engineering and Applications, 2008, 44(30): 1-5. DOI: 10.3778/j.issn.1002-8331.2008.30.001 |
| |
| Authors: | LI Ming-quan FENG Zhi-yong |
| |
| Affiliation: | School of Computer Science and Technology，Tianjin University，Tianjin 300072，China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
