A Family of Extended Fuzzy Description Logics

  • Authors:
  • Yanhui Li;Baowen Xu;Jianjiang Lu;Dazhou Kang;Peng Wang

  • Affiliations:
  • Southeast University;Southeast University, Jiangsu Institute of Software Quality and Wuhan University;Southeast University, Jiangsu Institute of Software Quality and PLA University of Science and Technology;Southeast University;Southeast University

  • Venue:
  • COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Typical 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 is proposed to enable representation and reasoning for complex fuzzy information. The extended fuzzy description logics introduce the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherit the concept and role constructors from description logics. The definitions of syntax, semantics, reasoning tasks, and reasoning properties are given for the extended fuzzy description logic. The extended fuzzy description logics adopt a special fuzzify-method with more expressive power than the previous fuzzy description logics.