DocumentCode
3291655
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
Volume
5
fYear
2008
fDate
18-20 Oct. 2008
Firstpage
141
Lastpage
145
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/FSKD.2008.144
Filename
4666512
Link To Document