Sciweavers

Share
DLOG
2006

Discrete Tableau Algorithms for FSHI

9 years 1 months ago
Discrete Tableau Algorithms for FSHI
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in fuzzy description logics. In this paper, we present a novel discrete tableau algorithm for a given fuzzy description logic FSHI with general TBoxes, which tries to construct discrete tableaus of FSHI knowledge bases. We prove the equivalence of existence between discrete tableaus and models of FSHI knowledge bases, hence getting that the discrete tableau algorithm is a sound and complete decision procedure for FSHI reasoning problems with general TBoxes.
Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where DLOG
Authors Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang
Comments (0)
books