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

doi:10.3778/j.issn.1002-8331.2008.30.001

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (30): 1-5.DOI: 10.3778/j.issn.1002-8331.2008.30.001

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

李明泉,冯志勇

天津大学计算机科学与技术学院，天津 300072

收稿日期:2008-05-20 修回日期:2008-06-16 出版日期:2008-10-21 发布日期:2008-10-21
通讯作者: 李明泉

F-SHIQ axiom system and extension of OWL

LI Ming-quan,FENG Zhi-yong

School of Computer Science and Technology，Tianjin University，Tianjin 300072，China

Received:2008-05-20 Revised:2008-06-16 Online:2008-10-21 Published:2008-10-21
Contact: LI Ming-quan

摘要/Abstract

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

关键词: 模糊描述逻辑, 推理规则, 模糊扩展

Abstract: With the swift development of computer and Internet，semantic Web and description logics play more and more important roles in intelligent technologies.But in our lives，more and more uncertain and incomplete knowledge needs to be resolved，and the vocabularies supplied by OWL only represent certain and complete concepts and roles.In order to be able to represent and reason with fuzzy information，this paper presents a new fuzzy description logic axiom system—F-SHIQ axiom system based on the description logic.And based on this axiom system，the authors extend OWL by combining new style of F-SHIQ axiom system.This paper first presents the definitions，axioms，theorems and proofs in the system，and then details the ways to represent and reason fuzzy information by FSRL—the extension of OWL by F-SHIQ.Finally，illustrate a fuzzy inference question in extended language and obtain a satisfactory result.

Key words: fuzzy description logic, reasoning rules, fuzzy extension

李明泉,冯志勇. F-SHIQ公理体系及其OWL扩展[J]. 计算机工程与应用, 2008, 44(30): 1-5.

LI Ming-quan,FENG Zhi-yong. F-SHIQ axiom system and extension of OWL[J]. Computer Engineering and Applications, 2008, 44(30): 1-5.

[1]	杨颖，王珺，王刚. 基于改进的Random Subspace的客户投诉分类方法[J]. 计算机工程与应用, 2020, 56(13): 230-235.
[2]	洪智勇1，刘熠2，3，秦克云4. 分层格值命题逻辑系统中几类推理规则的讨论[J]. 计算机工程与应用, 2017, 53(24): 55-58.
[3]	易三莉1，2，郭贝贝2，马磊2，钱洁2. 改进的模糊推理规则图像边缘检测算法[J]. 计算机工程与应用, 2016, 52(12): 180-183.
[4]	李修清. 命题公式的随机真度与推理规则[J]. 计算机工程与应用, 2015, 51(19): 66-70.
[5]	宁春，李凡长. 动态模糊逻辑关系学习[J]. 计算机工程与应用, 2011, 47(29): 34-39.
[6]	左卫兵，张嘎. 一种五元格值逻辑上命题真度的分布[J]. 计算机工程与应用, 2011, 47(22): 35-36.
[7]	关晓红，张海霞. 逻辑系统L*中公式的Γ-演绎真度理论[J]. 计算机工程与应用, 2011, 47(18): 62-63.
[8]	于西昌1，谭桂梅2. 几种逻辑系统中的概率真度[J]. 计算机工程与应用, 2011, 47(12): 27-30.
[9]	于西昌¹，谭桂梅²，张兴芳³. 命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(5): 40-43.
[10]	殷丽凤¹，郝忠孝^1，2. 基于XML Schema的XML强多值依赖的推理规则集[J]. 计算机工程与应用, 2010, 46(28): 152-156.
[11]	于西昌¹，陈怀进²，谭桂梅³. 公式概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(27): 57-61.
[12]	薛占熬，卫利萍，岑枫，李霞. Lukasiewicz区间值命题逻辑的a-真度理论[J]. 计算机工程与应用, 2010, 46(26): 40-42.
[13]	谭桂梅¹，于西昌². Gödel命题逻辑中公式概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(20): 46-49.
[14]	于西昌¹，谭桂梅²，张兴芳³. 连续值命题逻辑系统中公式的条件概率真度[J]. 计算机工程与应用, 2009, 45(28): 55-59.
[15]	于西昌¹，张兴芳². 连续值命题逻辑中公式的概率真度及相似度[J]. 计算机工程与应用, 2009, 45(24): 36-39.

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

F-SHIQ axiom system and extension of OWL

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics