By Topic

Reasoning within the Extended Fuzzy Description Logics with Restricted Terminological Boxes

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Dazhou Kang ; Southeast University, China ; Baowen Xu ; Yanhui Li

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.

Published in:

International Conference on Semantic Computing (ICSC 2007)

Date of Conference:

17-19 Sept. 2007