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