JOURNAL ARTICLE
Reasoning with a fuzzy description logic based on an axiom system
Yang JiangZhiyong FengXin WangGuozheng Rao
Year: 2011 Vol: 44 Pages: 230-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:
Axiom Rule of inference Computer science Theoretical computer science Mathematical proof Constructive set theory Completeness (order theory) Inference Mathematics Axiom of choice Algebra over a field Algorithm Discrete mathematics Artificial intelligence Programming language Set theory Pure mathematics
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
21
Refs
0.12
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Semantic Web and Ontologies
Physical Sciences → Computer Science → Artificial Intelligence
Rough Sets and Fuzzy Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Natural Language Processing Techniques
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Reasoning Within Extended Fuzzy Description Logic Supporting Terminological Axiom Restrictions
Journal: Journal of Software Year: 2007 Vol: 18 (7)Pages: 1563-1563
JOURNAL ARTICLE
REASONING WITH THE FUZZY DESCRIPTION LOGIC fZSI
Jidi ZhaoHarold BoleyWeichang Du
Year: 2010 Pages: 21-30
JOURNAL ARTICLE
Reasoning over decomposing fuzzy description logic
Mohamed GasmiMustapha Bourahla
Journal: Journal of Innovation in Digital Ecosystems Year: 2016 Vol: 3 (1)Pages: 30-36
JOURNAL ARTICLE
Reasoning within extended fuzzy description logic
Jianjiang LuYanhui LiBo ZhouDazhou Kang
Journal: Knowledge-Based Systems Year: 2008 Vol: 22 (1)Pages: 28-37