International Conference on Semantic Computing (ICSC 2007) Reasoning within the Extended Fuzzy Description Logics with Restricted Terminological Boxes Irvine, California September 17-September 19 ISBN: 0-7695-2997-6
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSC.2007.103
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 EXPTimecomplete.
Citation:
Dazhou Kang, Baowen Xu, Yanhui Li, "Reasoning within the Extended Fuzzy Description Logics with Restricted Terminological Boxes," icsc, pp.137-146, International Conference on Semantic Computing (ICSC 2007), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb