计算机工程

作者：王星,赵巧霞,陈吉,李佳

单位：辽宁工程技术大学 a.电子与信息工程学院; b.研究生院,辽宁 葫芦岛 125105

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

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

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

来源：2019年第6期

《计算机工程》期刊编辑部

查看计算机工程杂志2019年第6期