@inproceedings{b3c3d308e0a44012944025362119a497,
title = "Extended fuzzy ALCN and its tableau algorithm",
abstract = "Typical description logics are limited to dealing with crisp concepts. It is necessary to add fuzzy features to description logics for management of the fuzzy information. In this paper, we propose extended fuzzy ALCN to enable representation and reasoning for complex fuzzy information. We define syntax structure, semantic interpretation and reasoning problems of the extended fuzzy ALCN, and discuss the reasoning properties inexistent in typical description logics. We also design tableau algorithms of reasoning problems for extended fuzzy ALCN. The tableau algorithms are developed in the style of so-called constraint propagation method. Extended fuzzy ALCN is more expressive than the existing fuzzy description logics and present more wide fuzzy information.",
author = "Jianjiang Lu and Baowen Xu and Yanhui Li and Dazhou Kang and Peng Wang",
year = "2006",
language = "English",
isbn = "9783540283126",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "232--242",
booktitle = "Fuzzy Systems and Knowledge Discovery - Second International Conference, FSKD 2005, Proceedings",
address = "Germany",
note = "2nd International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2005 ; Conference date: 27-08-2005 Through 29-08-2005",
}