[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]SNCHEZ 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) |