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

doi:10.11772/j.issn.1001-9081.2014.04.1139

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

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

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

中国民航大学计算机科学与技术学院,天津 300300

收稿日期:2013-10-28 修回日期:2013-12-27 发布日期:2014-04-29 出版日期:2014-04-01
通讯作者: 王静
作者简介:王静(1980-),女,山西太谷人,讲师,博士,CCF会员,主要研究方向:描述逻辑、智能信息处理;
王红(1963-),女,重庆人,教授,CCF会员,主要研究方向:本体、智能信息处理、民航信息系统;
李剪(1988-),女,河北衡水人,硕士研究生,主要研究方向:本体、智能信息处理、民航信息系统;
樊红杰(1988-),女,山东泰安人,硕士研究生,主要研究方向:本体、智能信息处理、民航信息系统。
基金资助:
国家自然科学基金委员会与中国民用航空总局联合基金项目;中国民航大学重大预研项目;中国民航大学科研启动基金项目

Extension of contradiction problem-oriented description logic SHOQ

WANG Jing,WANG Hong,LI Jian,FAN Hongjie

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-29 Published:2014-04-01
Contact: WANG Jing

摘要/Abstract

摘要：

为了利用描述逻辑的推理规则分析并解决简单矛盾问题，引入了可拓集合作为描述逻辑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.

中图分类号:

TP18

王静王红李剪樊红杰. 面向矛盾问题的描述逻辑SHOQ扩展[J]. 计算机应用, 2014, 34(4): 1139-1143.

WANG Jing WANG Hong LI Jian FAN Hongjie. Extension of contradiction problem-oriented description logic SHOQ[J]. Journal of Computer Applications, 2014, 34(4): 1139-1143.

参考文献

［1］BAADER F. The description logic handbook: theory, implementation and applications ［M］. Cambridge: Cambridge University Press, 2003:5-99.
［2］PENG L, YANG H. ABox consistency decision algorithm for description logic SHIF ［J］. Application Research of Computers, 2013, 30(2): 423-428. (彭立,杨恒伏.一种描述逻辑SHIF的ABox一致性判定算法［J］.计算机应用研究,2013,30(2):423-428.)
［3］HORROCKS I, SATTLER U, TOBIES S. Practical reasoning for expressive description logics［C］// Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, LNCS 1705. Berlin: Springer-Verlag, 1999: 161-180.
［4］HORROCKS I, PATEL-SCHNEIDER P F, HARMELEN F V. From SHIQ and RDF to OWL: the making of a Web ontology language ［J］. Journal of Web Semantics, 2003, 1(1): 7-26.
［5］STRACCIA U. Reasoning within fuzzy description logics ［J］. Journal of Artificial Intelligence Research, 2001, 14(1): 137-166.
［6］SNCHEZ D, TETTAMANZI A G B. Generalizing quantification in fuzzy description logics ［C］// Proceedings of the International Conference 8th Fuzzy Days: Computational Intelligence, Theory and Applications, Advances in Soft Computing, Vol 33. Berlin: Springer-Verlag, 2004: 397-411.
［7］STOILOS G, STAMOU G, TZOUVARAS V, et al.The fuzzy description logic f-SHIN ［C］// Proceedings of the International Workshop on Uncertainty Reasoning for the Semantic Web. Aachen: CEUR-WS, 2005: 67-76.
［8］STOILOS G, STAMOU G, PAN J, et al.Reasoning with very expressive fuzzy description logics ［J］. Journal of Artificial Intelligence Research, 2007, 30(8):273-320.
［9］JIANG Y, SHI Z, TANG Y, et al.Fuzzy description logic for semantics representation of the semantic Web ［J］. Journal of Software, 2007, 18(6): 1257-1269. (蒋运承,史忠植,汤庸,等.面向语义Web语义表示的模糊描述逻辑［J］.软件学报,2007,18(6):1257-1269.)
［10］ LI Y, XU B, LU J, et al.Extended fuzzy description logic ［J］. Journal of Southeast University: Natural Science Edition, 2005,35 (5): 683-687.(李言辉,徐宝文,陆建江等.一种扩展的模糊描述逻辑［J］.东南大学学报:自然科学版,2005,35(5):683-687).
［11］WANG H, MA Z, YAN L, et al.Fuzzy description logicF-SHOIQ(G) supporting representation of fuzzy data types［J］. Chinese Journal of Computers, 2009, 32(8): 1511-1524. (王海龙,马宗民,严丽,等.支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) ［J］.计算机学报,2009,32(8):1511-1524.)
［12］STOILOS G, STAMOU G, PAN J. Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics ［J］. International Journal of Approximate Reasoning, 2010, 51(6): 656-679.
［13］KANG D, XU B, LI Y. A fuzzy extension for SHOIQ based on comparisons between degrees of membership ［J］. Science China: Information Sciences, 2013, 43(5): 571-583.
［14］SHI Z, DONG M, JIANG Y, et al.A logic foundation for the semantic Web ［J］. Science In China Series E: Information Sciences, 2004, 34(10): 1123-1138. (史忠植,董明楷,蒋运承,等.语义Web的逻辑基础［J］.中国科学:E辑,2004, 34 (10):1123-1138.)
［15］WANG J, JIANG Y, TANG S. A fuzzy dynamic description logic ［J］. Journal of Frontiers of Computer Science and Technology, 2007, 1(2):216-227.(王驹,蒋运承,唐素勤.一种模糊动态描述逻辑［J］.计算机科学与探索, 2007,1(2):216-227)
［16］FANG W, CUI Z. Dynamic fuzzy description logic for Deep Web uncertain knowledge representation ［J］. Computer Science, 2010,37(9): 229-233. (方巍, 崔志明. 面向Deep Web不确定知识表示的动态模糊描述逻辑［J］.计算机科学,2010,37(9): 229-233)
［17］CHANG L, SHI Z, CHEN L, et al.Family of extended dynamic description logics ［J］. Journal of Software, 2010, 21(1): 1-13. (常亮,史忠植,陈立民,等.一类扩展的动态描述逻辑［J］.软件学报,2010,21(1):1-13)
［18］WU T, JIN Y. CDDL: The uncertainty extension of the dynamic description logic ［J］. Computer Engineering & Science, 2011, 33(2): 142-148. (吴涛,金义富.CDDL:动态描述逻辑的不确定性扩展［J］.计算机工程与科学,2011,33(2): 142-148 )
［19］CHANG L, SHI Z, GU T, et al.A family of dynamic description logics for representing and reasoning about actions ［J］. Journal of Automated Reasoning, 2012, 49(1):1-52.
［20］WANG J, JIA C, ZHANG J, et al.Description logic extension based on extenics theory［J］. Journal of Computer Applications, 2008, 28(8): 2071-1073, 2076. (王静,贾成伟,张健沛,等.基于可拓理论的描述逻辑扩展［J］.计算机应用,2008,28(8):2071-1073,2076.)
［21］CAI W, YANG C, HE B. Introduction of extension logic ［M］. Beijing: Science Press, 2003.(蔡文,杨春燕,何斌.可拓逻辑初步［M］.北京:科学出版社, 2003)
［22］WANG J, DONG J, WANG H, et al.The description logic based on static extension set ［J］. Journal of Information and Computational Science, 2011, 7(13): 2647-2656.
［23］ZHAGN J, LIN H, HE Z. All set and artificial intelligence ［J］. Engineering Science, 2002, 4(3): 40-47.(张江,林华,贺仲雄.统一集论与人工智能［J］.中国工程科学,2002,4(3):40-47)
［24］MEI J, LIN Z. From ALC to SHOQ(D):a survey of Tableau algorithms for description logics［J］. Computer Science, 2005, 32(3):1-11. (梅婧,林作铨.从ALC到SHOQ(D):描述逻辑及其Tableau算法［J］.计算机科学, 2005, 32(3):1-11)

[1]	吕乐张博瀚荆军昌刘栋. 基于持久性的多目标节点隐藏方法[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[2]	宫智宇王士同. 面向重尾噪声图像分类的残差网络学习方法[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[3]	王虎王晓峰李可马云洁. 融合多头自注意力的标签语义嵌入联邦类增量学习方法[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[4]	丁建立, 黄辉, 曹卫东. 航班链运行状态动态监控方法[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3941-3948.
[5]	刘晶鑫, 黄雯静, 徐亮胜, 黄冲, 吴建生. 字典学习与样本关联保持结合的无监督特征选择模型[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3766-3775.
[6]	宋逸飞, 柳毅. 基于数据增强和标签噪声的快速对抗训练方法[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3798-3807.
[7]	沈嫣然, 温昕, 张瑾昊, 张帅, 曹锐, 高保禄. 轻量级多尺度卷积网络的功能磁共振成像脑龄预测模型[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3949-3957.
[8]	张祖篡, 陈学斌, 高瑞, 邹元怀. 基于标签分类的联邦学习客户端选择方法[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3759-3765.
[9]	蒋权黄文清苟志勇. 基于等变图神经网络的拉格朗日粒子流模拟[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[10]	李岚皓严皓钧周号益孙庆赟李建欣. 基于神经网络的多尺度信息融合时间序列长期预测模型[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[11]	廖炎华鄢元霞潘文林. 基于YOLOv9的交通路口图像的多目标检测算法[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[12]	张学飞张丽萍闫盛侯敏赵宇博. 知识图谱与大语言模型协同的个性化学习推荐[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[13]	索晋贤张丽萍闫盛王东奇张雅雯. 可解释的深度知识追踪方法综述[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[14]	陈丹阳张长伦. 多尺度去相关的图卷积网络[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[15]	蒋沛宇王永光任亚亭李硕晨谭火彬. 基于测量不确定度表示指南的目标检测不确定度测量方案[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.

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

Extension of contradiction problem-oriented description logic SHOQ

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics