动态描述逻辑的可拓集合扩展

计算机科学 ›› 2009, Vol. 36 ›› Issue (3): 150-152.

动态描述逻辑的可拓集合扩展

王静张健沛杨静程丽丽

哈尔滨工程大学计算机科学与技术学院,哈尔滨150001

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金项目（60673131）,黑龙江省自然科学基金项目（F2005-02）,“东西分析”学术创新奖学金资助.

WANG Jing ,ZHANG Jian-pei ,YANG Jing ,CHENG Li-li （School of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 通过对可拓集合与经典集合、模糊集合的分析比较，说明可拓集合的特点和优点，用可拓集合代替经典集合或模糊集合作为动态描述逻辑DDL的集合论基础，对DDL进行扩展，生成了一种新的描述逻辑DDLEs，并给出了DDLES中概念、关系和实例的描述形式以及它们的语义解释，最后对传统描述逻辑ALC、模糊DDL和DDLES中的Abox形式进行了比较。

关键词: 可拓集合动态描述逻辑经典集合模糊集合

Abstract: The advantages and characteristics of extension set were presented by comparing extension set with classical set and fuzzy set, and the extension set was introduced as the set theory foundation of dynamic description logic DDL repalcing classical set and

Key words: Extension set, Dynamic description logic, Classical set, Fuzzy set

王静张健沛杨静程丽丽. 动态描述逻辑的可拓集合扩展[J]. 计算机科学, 2009, 36(3): 150-152. https://doi.org/

WANG Jing ,ZHANG Jian-pei ,YANG Jing ,CHENG Li-li （School of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China）. [J]. Computer Science, 2009, 36(3): 150-152. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed