Optimising fuzzy description logic reasoners with general concept inclusion absorption

详细信息    查看全文

• 作者：Fernando Bobillo^a ; ^{fbobillo@unizar.es" class="auth_mail" title="E-mail the corresponding author} ; Umberto Straccia^b ; ^{straccia@isti.cnr.it" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Fuzzy description logics ; Fuzzy ontologies ; Fuzzy logic ; Logic for the semantic web ; Optimization
• 刊名：Fuzzy Sets and Systems
• 出版年：2016
• 出版时间：1 June 2016
• 年：2016
• 卷：292
• 期：Complete
• 页码：98-129
• 全文大小：600 K

文摘

General Concept Inclusion (GCI) absorption algorithms have shown to play an important role in classical Description Logic (DL) reasoners. They allow to transform GCIs into simpler forms to which we may apply specialised inference rules, returning important performance gains. In this work, we develop the first absorption algorithm for fuzzy DLs, implement it in the fuzzyDL reasoner and evaluate it extensively over both classical and fuzzy ontologies. The results show that our algorithm improves the performance of the reasoner significantly.