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

Extension of Dynamic Description Logic Based on Extension Set

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

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 fuzzy set to extend DDL,and a new kind of description logic DDLES was proposed,the description form and the semantic explanation of concept, rote, instance were given. At last the comparison between the form of Abox in ALC,Fuzzy DDL and DDLES was discussed.