Title :
A vague description logic SI
Author :
Ma, Z.M. ; Cheng, Jingwei ; Wang, Hailong ; Yan, Li
Author_Institution :
Coll. of Inf. Sci. & Eng., Northeastern Univ., Shenyang
Abstract :
In the real world, human knowledge and natural language have a big deal of imprecision and uncertainty. Imprecision and uncertainty play in the semantic Web context, as well as to many applications that use description logics (DLs) to capture, represent and perform reasoning with domain knowledge. In this paper, a fuzzy extension of description logic language SI is presented, which combines vague sets with SI. Its syntax, semantics and inference problems are investigated in the paper. Also the tableau algorithm is developed for reasoning in the vague SI.
Keywords :
formal logic; fuzzy set theory; inference mechanisms; natural language processing; semantic Web; description logics; fuzzy extension; human knowledge; natural language; semantic Web context; vague description logic; Automatic logic units; Fuzzy logic; Fuzzy reasoning; Fuzzy set theory; Fuzzy sets; Humans; Knowledge representation; Natural languages; Semantic Web; Uncertainty;
Conference_Titel :
Fuzzy Systems, 2008. FUZZ-IEEE 2008. (IEEE World Congress on Computational Intelligence). IEEE International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
978-1-4244-1818-3
Electronic_ISBN :
1098-7584
DOI :
10.1109/FUZZY.2008.4630547