Reasoning within the Extended Fuzzy Description Logics with Restricted Terminological Boxes

Reasoning within the Extended Fuzzy Description Logics with Restricted Terminological Boxes

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...

Full description

Saved in:
Bibliographic Details
Published in:International Conference on Semantic Computing (ICSC 2007) pp. 137 - 146
Main Authors: Dazhou Kang, Baowen Xu, Yanhui Li
Format: Conference Proceeding
Language:English
Published: IEEE 01-09-2007
Subjects:
Automatic logic units
Computer science
Concrete
Fuzzy logic
Fuzzy reasoning
Fuzzy set theory
Fuzzy sets
Knowledge engineering
Knowledge representation
Semantic Web
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:9780769529974
0769529976
DOI:10.1109/ICSC.2007.103