[1] |
Baader F,Calvanese D,McGuinness D,et al.The description logic handbook[M].Cambridge:Cambridge University Press,2003.
|
[2] |
Schlobach S,Klein M,Peelen L.Description logic with approximate definitions precise modeling of vague concept[C]∥Proc of the 20th Internet Joint Conference on Artificial Intelligence,2007:557562.
|
[3] |
Pawlak Z.Rough sets [J].International Journal of Computer and Information Sciences,1982,11(5):341356.
|
[4] |
Ganter B,Wille R.Formal concept analysis [M].New York:Mathematical Foundation,Springer Verlag,1999.
|
[5] |
Wille R.Restructuring lattice theory:An approach based on hierarchies of concept[C]∥Proc of the NATO Advanced Study Institute,1981:445470.
|
[6] |
Yao Yiyu, Chen Yaohua. Rough set approximations in formal concept analysis [C]∥Proc of 2004 Annual Meeting of the North American Fuzzy Information Processing Society,2004:7378.
|
[7] |
Hu Keyun,Lu Yuchang,Shi Chunyi.Advanced in concept lattice and its application[J].Journal of Tsinghua University(Science and Technology),2000,40(9):7781.(in Chinese)
|
[8] |
Wang Suihua,Zhao Ailing,Wei Tao.Reaserch of the rough extension of description logic [J]. Computer Engineering & Science,2011,33(2):137141.(in Chinese)
|
[9] |
Shi Lian,Sun Jigui.Description logic survey[J].Computer Science,2006,33(1):194197.(in Chinese)
|
[10] |
Yan Hongcan,Yan Hongtu,Liu Baoxiang.Resarch on application of Tableau algorithm in roughlogical knowledge reasoning[J].Journal of Guizhou Normal University(Natural Science),2013,31(1):4043.(in Chinese)
|
[11] |
Mei Jing,Lin Zuoquan.From ALC to SHOQ(D):A survey of Tableau algorithm for description logic[J].Computer Science,2005,32(3):111.(in Chinese)
|
[12] |
Sattler U.A concept language extended with different kinds of transitive roles[C]∥Proc of the 20th Deutsche Jahrestagung for Kunstliche Intelligenz,1996:333345.
|
|
附中文参考文献:
|
[7] |
胡可云,陆玉昌,石纯一.概念格及其应用进展[J].清华大学学报(自然科学版),2000,40(9):7781.
|
[8] |
王岁花,赵爱玲,魏涛.描述逻辑的粗糙扩展 [J].计算机工程与科学,2011,33(2):137141.
|
[9] |
石莲,孙吉贵.描述逻辑综述 [J].计算机科学,2006,33(1):194197.
|
[10] |
阎红灿,闫宏图,刘保相.Tableau算法在粗逻辑知识推理中的应用[J].贵州师范大学学报(自然科学版),2013,31(1):4043.
|
[11] |
梅婧,林作铨.从ALC到SHOQ(D):描述逻辑及其Tableau算法[J].计算机科学,2005,32(3):111.
|