Reasoning Within Extended Fuzzy Description Logic Supporting Terminological Axiom Restrictions

KANG Da-Zhou,XU Bao-Wen,LU Jian-Jiang,LI Yan-Hui
DOI: https://doi.org/10.1360/jos181563
2007-01-01
Journal of Software
Abstract:The extended fuzzy description logics extend the classical description logics by introducing cut concepts and cut roles to support expressive representation and reasoning for fuzzy knowledge. But the current extended fuzzy description logics lack reasoning algorithms with TBoxes. The paper proposes the sat-domain problem of the extended fuzzy description logic EFALCR+ with restricted TBoxes, and gives an optimized reasoning algorithm, which is proved to be sound, complete and with a worst complexity of EXPTime; then proves the complexity of the problem is EXPTime- complete.
What problem does this paper attempt to address?