Journal of South China University of Technology (Natural Science Edition) ›› 2009, Vol. 37 ›› Issue (1): 106-112.

• Computer Science & Technology • Previous Articles     Next Articles

C-SHOIQ: a Cloud Extension to Description Logic SHOIQ

Liu Jie1  Fan Xiao-zhong1  Chen Kang1  Lin Pei-guang2   

  1. 1. School of Computer Science and Technology, Beijing Institute of Technology, Beijing 100081, China; 2. School of Computer and Information Engineering, Shandong University of Finance, Jinan 250014, Shandong, China
  • Received:2007-12-29 Revised:2008-03-28 Online:2009-01-25 Published:2009-01-25
  • Contact: 刘杰(1970-),男,在职博士生,首都师范大学讲师,主要从事自然语言处理研究. E-mail:liujxxxy@126.com
  • About author:刘杰(1970-),男,在职博士生,首都师范大学讲师,主要从事自然语言处理研究.
  • Supported by:

    国家自然科学基金资助项目(60773130);教育部高等学校博士学科点专项科研基金资助项目(20050007023)

Abstract:

In order to overcome the shortcoming of the classical description logic in the expression of uncertain knowledge, this paper proposes a new cloud-based description logic C-SHOIQ (Cloud-SHOIQ) by combining the description logic SHOIQ with the fuzzy logic. In the investigation, first, the syntax and semantics of C-SHOIQ are presented, and the capability of processing the randomness and fuzziness of knowledge is analyzed by some exampies. Next, the reasoning approach of C-SHOIQ and the improved rules mapping the C-SHOIQ KB (Knowledge Base) to the classical SHOIQ KB are described. Then, the consistency of the satisfiability between C-SHOIQ concepts and corresponding classical SHOIQ concepts is demonstrated. Finally, the extension of expression ability of fuzzy SHOIQ to C-SHOIQ is demonstrated.

Key words: semantic Web, description logic, cloud model, semantic representation