面向矛盾问题的描述逻辑SHOQ扩展

Extension of contradiction problem-oriented description logic SHOQ

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

In order to apply reasoning rules of the description logic to analyze and solve the simple contradiction problem,the extension set was introduced to be the set theory foundation of the description logic SHOQ,and a new description logic named D-SHOQES （Dynamic Description Logic SHOQ Based on Extension Set） was proposed.The cut sets of extension concepts and extension roles were defined as atomic concepts and atomic roles,and the action theory was injected to obtain the qualitative change domain and the quantitative change domain of the concepts and roles.The semantics of concepts,roles and actions in D-SHOQES were given,as well as the Tableau-algorithm reasoning rules.Finally,the method of solving contradiction problem was researched,which offered a strategy for the solution to contradiction problem.