计算机工程 ›› 2019, Vol. 45 ›› Issue (6): 315-320.doi: 10.19678/j.issn.1000-3428.0050818

• 开发研究与工程应用 • 上一篇    

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

王星a,赵巧霞b,陈吉a,李佳b   

  1. 辽宁工程技术大学 a.电子与信息工程学院; b.研究生院,辽宁 葫芦岛 125105
  • 收稿日期:2018-03-16 出版日期:2019-06-15 发布日期:2019-06-15
  • 作者简介:王星(1983—),男,副教授、博士,主研方向为智能数据、知识工程;赵巧霞,硕士研究生;陈吉,工程师;李佳,硕士研究生。
  • 基金项目:
    国家自然科学基金(61402212);中国博士后基金面上项目(2016M591452);辽宁省自然科学基金面上项目(2015020098);辽宁省高等学校杰出青年学者成长计划(LJQ2015045)。

f-SHOIQN:a fuzzy and non-monotonic description logic

WANG Xinga,ZHAO Qiaoxiab,CHEN Jia,LI Jiab   

  1. a.School of Electronics and Information Engineering; b.Graduate School,Liaoning Technical University,Huludao,Liaoning 125105,China
  • Received:2018-03-16 Online:2019-06-15 Published:2019-06-15

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

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

Abstract: There is a lot of fuzzy and non-monotonic knowledge in the semantic Web,which cannot be expressed by the current description logic.Aiming at the problem,this paper adds weak negative constructor and proposes a fuzzy and non-monotonic description logic f-SHOIQN based on the fuzzy description logic f-SHOIQ.The weak negative is used to mark fuzzy and non-monotonic atomic concepts,and further represent fuzzy and non-monotonic rules,which are then introduced into fuzzy description logic to represent fuzzy and non-monotonic knowledge.The knowledge base of f-SHOIQN is constructed,and the processing methods on fuzzy non-monotonic knowledge and fuzzy monotonic knowledge are given.In order to deal with the problem of rule competition while satisfying the rule inclusion and rule equivalence in the description logic,this paper proposes a priority decision algorithm about competition rules in f-SHOIQN.analyzes the properties of f-SHOIQN and gives relevant proofs.

Key words: semantic Web, description logic, weak negative, fuzzy and non-monotonic knowledge, constructor, competition rules

中图分类号: