F-SHIQ公理体系及其OWL扩展

摘要：

随着计算机和Intemet的快速发展,语义网和描述逻辑在人工智能等领域扮演着越来越重要的角色.但在日常生活中,越来越多不确定的、不完整的知识需要解决,而现存的OWL只能表述确定的完整的概念和关系.为了能够表示和推理模糊知识,给出了一个基于描述逻辑SHIQ的全新的模糊描述逻辑公理体系--F-SHIQ公理体系,并以此公理体系为基础,扩展了OWL本体语言,能够描述和推理模糊知识.该文首先给出了系统详细的定义、公理、定理以及定理的证明;然后详述了如何用FSRL,即基于F-SHIQ的OWL扩展,来表示和推理模糊信息;最后通过一个例子来检验扩展语言的应用效果.

关键词：模糊描述逻辑、推理规则、模糊扩展

所属期刊栏目：44

分类号：O159(代数、数论、组合理论)

资助基金：天津市自然科学基金the Natural Science Foundation of Tianjin under Grant 07JCYBJC14000;天津市科技公共项目the Advanced Technology Project of Tianjin under Grant 06YFGZGX06300

在线出版日期：2009-01-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-5,58