Extension of contradiction problem-oriented description logic SHOQ

doi:10.11772/j.issn.1001-9081.2014.04.1139

Journal of Computer Applications ›› 2014, Vol. 34 ›› Issue (4): 1139-1143.DOI: 10.11772/j.issn.1001-9081.2014.04.1139

Previous Articles Next Articles

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

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

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

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

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

Abstract

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.

摘要：

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

CLC Number:

TP18

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.

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

References

［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]	LYU Le, ZHANG Bohan, JING Junchang, LIU Dong. Multiple target nodes hiding method based on permanence [J]. Journal of Computer Applications, 0, (): 0-0.
[2]	. Privacy preserving localization of surveillance images based on large vision models [J]. Journal of Computer Applications, 0, (): 0-0.
[3]	. Federated class-incremental learning method with multi-head self-attention for label semantic embedding [J]. Journal of Computer Applications, 0, (): 0-0.
[4]	Jianli DING, Hui HUANG, Weidong CAO. Dynamic monitoring method of flight chain operation status [J]. Journal of Computer Applications, 2024, 44(12): 3941-3948.
[5]	Jingxin LIU, Wenjing HUANG, Liangsheng XU, Chong HUANG, Jiansheng WU. Unsupervised feature selection model with dictionary learning and sample correlation preservation [J]. Journal of Computer Applications, 2024, 44(12): 3766-3775.
[6]	Yifei SONG, Yi LIU. Fast adversarial training method based on data augmentation and label noise [J]. Journal of Computer Applications, 2024, 44(12): 3798-3807.
[7]	Yanran SHEN, Xin WEN, Jinhao ZHANG, Shuai ZHANG, Rui CAO, Baolu GAO. fMRI brain age prediction model with lightweight multi-scale convolutional network [J]. Journal of Computer Applications, 2024, 44(12): 3949-3957.
[8]	Zucuan ZHANG, Xuebin CHEN, Rui GAO, Yuanhuai ZOU. Federated learning client selection method based on label classification [J]. Journal of Computer Applications, 2024, 44(12): 3759-3765.
[9]	. Equivariant graph neural network-based simulator for lagrangian particle flow [J]. Journal of Computer Applications, 0, (): 0-0.
[10]	. Multi-scale Information Fusion Time Series Long-term Forecasting Model Based on Neural Network [J]. Journal of Computer Applications, 0, (): 0-0.
[11]	. Multi-target detection algorithm for traffic intersection images based on YOLOv9 [J]. Journal of Computer Applications, 0, (): 0-0.
[12]	. Personalized learning recommendation in collaboration with knowledge graph and large language model [J]. Journal of Computer Applications, 0, (): 0-0.
[13]	. Review of interpretable deep knowledge tracing methods [J]. Journal of Computer Applications, 0, (): 0-0.
[14]	. Multi-scale Decorrelation Graph Convolutional Network [J]. Journal of Computer Applications, 0, (): 0-0.
[15]	. Object detection uncertainty measurement scheme based on guide to the expression of uncertainty in measurement [J]. Journal of Computer Applications, 0, (): 0-0.

Extension of contradiction problem-oriented description logic SHOQ

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics