Reasoning technique for extended fuzzy description logics

Yanhui Li,Baowen Xu,Jianjiang Lu,Dazhou Kang,Jie Xu
DOI: https://doi.org/10.1109/ICTAI.2005.107
2005-01-01
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
What problem does this paper attempt to address?