DocumentCode
553019
Title
Reasoning with a fuzzy description logic based on an axiom system
Author
Jiang Yang ; Feng Zhi-yong ; Wang Xin ; Rao Guo-zheng
Author_Institution
Comput. Sci. & Technol., Tianjin Univ., Tianjin, China
Volume
1
fYear
2011
fDate
26-28 July 2011
Firstpage
230
Lastpage
236
Abstract
The paper extends the description logic SHIN to fuzzy SHIN with an axiom system method. We build a complete axiom system for FSHIN, including FSHIN syntax, semantics, properties, inference rules, theorems and their proofs in detail, and based on this axiom system we proved the completeness and reliability of the inference algorithm for FSHIN and analyzed its computational complexity.
Keywords
computational complexity; computational linguistics; fuzzy logic; inference mechanisms; semantic Web; FSHIN; FSHIN syntax; axiom system method; computational complexity; fuzzy description logic SHIN; inference rules; semantics; Algorithm design and analysis; Cognition; Knowledge based systems; Semantic Web; Semantics; Tin; axiom system; extention; fuzzy description logic; reasoning;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on
Conference_Location
Shanghai
Print_ISBN
978-1-61284-180-9
Type
conf
DOI
10.1109/FSKD.2011.6019503
Filename
6019503
Link To Document