Reasoning Technique for Extended Fuzzy Description Logics

Authors:
Yanhui Li;Baowen Xu;Jianjiang Lu;Dazhou Kang;Jie Xu
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:
ICTAI '05 Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence
Year:
2005

Citing 0
Cited 2

Type-2 fuzzy description logic

Frontiers of Computer Science in China
A distributed and fuzzy extension of description logics

KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

A family of extended fuzzy description logics, which includes a framework of syntax, semantics, knowledge base form and reasoning tasks, is proposed to enable representation and reasoning for complex fuzzy information. This paper discusses the reasoning technique for reasoning tasks of extended fuzzy description logics, which adopts classical description logics to discretely simulate extended fuzzy description logic in polynomial time and reuses the existing reasoning result to prove the complexity of reasoning tasks of extended fuzzy description logics.