Title :
A Tableau Algorithm for EFSHOIN Ontologies
Author :
Zhou, Bo ; Miao, Zhuang ; Zhang, Yafei ; Lu, Jianjiang
Author_Institution :
Inst. of Command Autom., PLA Univ. of Sci. & Technol., Nanjing
Abstract :
The fuzzy ontologies play a key role in the semantic Web. The description logic SHOIN, the logical foundation of Web ontology language OWL, becomes less suitable to describe them. To represent fuzzy ontologies, this paper presents the extended fuzzy description logic EFSHOIN, shows the representation and reasoning capabilities of EFSHOIN, and proposes a tableau algorithm for the consistency of EFSHOIN. This algorithm can be considered as a logical approach to achieve reasoning within the fuzzy ontologies.
Keywords :
fuzzy set theory; ontologies (artificial intelligence); semantic Web; Web ontology language; fuzzy ontologies; semantic Web; tableau algorithm; Automatic logic units; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Fuzzy systems; Helium; Knowledge representation; OWL; Ontologies; Semantic Web; Description logic; Fuzzy; Ontology;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery, 2008. FSKD '08. Fifth International Conference on
Conference_Location :
Jinan Shandong
Print_ISBN :
978-0-7695-3305-6
DOI :
10.1109/FSKD.2008.144
