论文部分内容阅读
为了利用描述逻辑的推理规则分析并解决简单矛盾问题,引入了可拓集合作为描述逻辑SHOQ的集合论基础,提出了一种新的描述逻辑D-SHOQES,定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系,引入了动作理论以获取概念和关系的质变域和量变域,并给出了D-SHOQES中概念、关系、动作等的语义解释以及Tableau-算法推理规则,研究了矛盾问题的一般求解方法,从而为矛盾问题的求解提供了策略。