摘要： 传统描述逻辑ALCQ以经典集合作为集合论基础，不能描述复杂的、模糊的、动态的知识。为此，引入可拓学中的可拓集合代替经典集合，作为描述逻辑ALCQ的集合论基础，提出一种新的带限定性数目约束的可拓描述逻辑ALCQDES。定义ALCQDES的概念、关系、TBox公理、ABox断言的语法形式，根据可拓集合和传统描述逻辑的语义解释方法，给出描述逻辑ALCQDES中的概念≥kR.C和≤kR.C的语义解释。研究描述逻辑ALCQDES的基本推理问题，给出一致性检测算法TableauDES*的≥kR.C和≤kR.C的断言扩充规则。与传统描述逻辑ALCQ和模糊扩展描述逻辑FALCQ相比，通过可拓集合扩展的描述逻辑ALCQDES具有更强的描述知识的能力。
关键词:
描述逻辑,
可拓集合,
限定性数目约束,
可拓学,
模糊知识,
动态知识
Abstract: Aiming at the issue that the traditional Description Logic(DL) ALCQ based on classical collection cannot describe complex, fuzzy and dynamic knowledge, this paper introduces extension set to be the set theory foundation of the description logic ALCQ and proposes a new description logic ALCQDES with qualifying number. By defining the grammatical form of ALCQDES concept, relationship and TBox axioms, as well as ABox assertions and giving the semantic interpretation of ≥kR.C and ≤kR.C on a basis of semantic interpretation method of extension set and the traditional description logic, ≥kR.C and ≤kR.C expansion rules of the consistency checking algorithm TableauDES* is presented with the research on basic reasoning problems of ALCQDES. The extension logic ALCQDES shows better descriptive ability to knowledge than the traditional description logic ALCQ and fuzzy extension description logic FALCQ.
Key words:
Description Logic(DL),
extension set,
qualifying number restriction,
extenics,
fuzzy knowledge,
dynamic owledge
中图分类号: