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
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;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-61284-180-9
DOI :
10.1109/FSKD.2011.6019503
