Reasoning technique for extended fuzzy ALCQ

  • Authors:

  • Yanhui Li;Baowen Xu;Jianjiang Lu;Dazhou Kang

  • Affiliations:

  • Department of Computer Science and Engineering, Southeast University, Nanjing, P.R. China;Department of Computer Science and Engineering, Southeast University, Nanjing, P.R. China;Department of Computer Science and Engineering, Southeast University, Nanjing, P.R. China;Department of Computer Science and Engineering, Southeast University, Nanjing, P.R. China

  • Venue:
  • ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Classical description logics are limited to dealing with crisp concepts and crisp roles. However, Web applications based on description logics should allow the treatment of the inherent imprecision. Therefore, it is necessary to add fuzzy features to description logics. A family of extended fuzzy description logics, which is a fuzzy extension of description logics by introducing cut set to describe fuzzy feature, is proposed to enable representation and reasoning for complex fuzzy information. This paper discusses the reasoning technique for reasoning tasks of a given extended fuzzy description logic extended fuzzy $\cal {ALCQ}$ by adopting classical description logic $\cal{ALCQ}$ to discretely simulate extended fuzzy $\cal{ALCQ}$ in polynomial time and reusing the existing result to prove the complexity of extended fuzzy $\cal{ALCQ}$ reasoning tasks.