f-SHOIQN:一种模糊非单调描述逻辑

摘要：

针对描述逻辑无法表示语义网中模糊和非单调知识的问题,在模糊描述逻辑f-SHOIQ基础上增加弱否定构造算子,提出模糊非单调的描述逻辑f-SHOIQN.使用弱否定标记模糊非单调原子概念,进而表示模糊非单调规则.将模糊非单调规则引入模糊描述逻辑f-SHOIQ,用来表示模糊和非单调知识.构建f-SHOIQN的知识库,给出该知识库中模糊非单调知识和模糊单调知识处理方式.为处理模糊非单调知识库中规则的竞争并满足描述逻辑中概念包含、相等的问题,提出f-SHOIQN中竞争规则的优先级判定算法.分析f-SHOIQN具有的性质,并给出相关证明.

关键词：语义网、描述逻辑、弱否定、模糊和非单调知识、构造算子、竞争规则

所属期刊栏目：45

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金61402212;中国博士后基金面上项目2016M591452;辽宁省自然科学基金面上项目2015020098;辽宁省高等学校杰出青年学者成长计划LJQ2015045

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

页数：共6页

页码：315-320