摘要： 针对描述逻辑无法表示语义网中模糊和非单调知识的问题,在模糊描述逻辑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

中图分类号: 

• TP181