计算机应用 ›› 2014, Vol. 34 ›› Issue (4): 1139-1143.DOI: 10.11772/j.issn.1001-9081.2014.04.1139

• 计算机软件技术 • 上一篇    下一篇

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

王静,王红,李剪,樊红杰   

  1. 中国民航大学 计算机科学与技术学院,天津 300300
  • 收稿日期:2013-10-28 修回日期:2013-12-27 出版日期:2014-04-01 发布日期:2014-04-29
  • 通讯作者: 王静
  • 作者简介:王静(1980-),女,山西太谷人,讲师,博士,CCF会员,主要研究方向:描述逻辑、智能信息处理;
    王红(1963-),女,重庆人,教授,CCF会员,主要研究方向:本体、智能信息处理、民航信息系统;
    李剪(1988-),女,河北衡水人,硕士研究生,主要研究方向:本体、智能信息处理、民航信息系统;
    樊红杰(1988-),女,山东泰安人,硕士研究生,主要研究方向:本体、智能信息处理、民航信息系统。
  • 基金资助:

    国家自然科学基金委员会与中国民用航空总局联合基金项目;中国民航大学重大预研项目;中国民航大学科研启动基金项目

Extension of contradiction problem-oriented description logic SHOQ

WANG Jing,WANG Hong,LI Jian,FAN Hongjie   

  1. College of Computer Science and Technology, Civil Aviation University of China, Tianjin 300300, China
  • Received:2013-10-28 Revised:2013-12-27 Online:2014-04-01 Published:2014-04-29
  • Contact: WANG Jing

摘要:

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

Abstract:

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.

中图分类号: