Type-2 fuzzy description logic

被引:0
作者
Ruixuan Li
Kunmei Wen
Xiwu Gu
Yuhua Li
Xiaolin Sun
Bing Li
机构
[1] Huazhong University of Science and Technology,Intelligent and Distributed Computing Laboratory, School of Computer Science and Technology
[2] Wuhan University,State Key Laboratory of Software Engineering
来源
Frontiers of Computer Science in China | 2011年 / 5卷
关键词
description logic (DL); type-2 fuzzy attributive concept language with complements (ALC); fuzzy ontology; reasoning; semantic search engine;
D O I
暂无
中图分类号
学科分类号
摘要
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and roles, thus providing the motivation for this work. In this paper, we present a type-2 fuzzy attributive concept language with complements (ALC) and provide its knowledge representation and reasoning algorithms. We also propose type-2 fuzzy web ontology language (OWL) to build a fuzzy ontology based on type-2 fuzzy ALC and analyze the soundness, completeness, and complexity of the reasoning algorithms. Compared to type-1 fuzzy ALC, type-2 fuzzy ALC can describe imprecise knowledge more meticulously by using the membership degree interval. We implement a semantic search engine based on type-2 fuzzy ALC and carry out experiments on real data to test its performance. The results show that the type-2 fuzzy ALC can improve the precision and increase the number of relevant hits for imprecise information searches.
引用
收藏
页码:205 / 215
页数:10
相关论文
共 45 条
  • [31] Image indexing and retrieval using expressive fuzzy description logics
    N. Simou
    Th. Athanasiadis
    G. Stoilos
    S. Kollias
    Signal, Image and Video Processing, 2008, 2 : 321 - 335
  • [32] Image indexing and retrieval using expressive fuzzy description logics
    Simou, N.
    Athanasiadis, Th.
    Stoilos, G.
    Kollias, S.
    SIGNAL IMAGE AND VIDEO PROCESSING, 2008, 2 (04) : 321 - 335
  • [33] Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
    Baader, Franz
    Penaloza, Rafael
    IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ 2011), 2011, : 1735 - 1742
  • [34] A Systematic Mapping with Bibliometric Analysis on Information Systems Using Ontology and Fuzzy Logic
    Kalibatiene, Diana
    Miliauskaite, Jolanta
    APPLIED SCIENCES-BASEL, 2021, 11 (07):
  • [35] A Fuzzy Logic Approach for Reasoning under Uncertainty and Vagueness - A Matchmaking Case Study
    Karanikola, Loukia
    Karali, Isambo
    PROCEEDINGS OF 2016 2ND INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT (ICIM2016), 2016,
  • [36] Representing and reasoning fuzzy spatio-temporal knowledge with description logics: A survey
    Cheng, Haitao
    Wang, Ruchuan
    Li, Peng
    Xu, He
    INTELLIGENT DATA ANALYSIS, 2019, 23 : S113 - S132
  • [37] On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm
    Cerami, Marco
    Straccia, Umberto
    INFORMATION SCIENCES, 2013, 227 : 1 - 21
  • [38] The Role of Crisp Elements in Fuzzy Ontologies: The Case of Fuzzy OWL 2 EL
    Bobillo, Fernando
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2016, 24 (05) : 1193 - 1209
  • [39] Prevent Cooking Risks in kitchen of elderly people: Adaptable Reasoning Engine based on Fuzzy Logic for Smart Oven
    Abdulrazak, Bessam
    Yared, Rami
    CIT/IUCC/DASC/PICOM 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - UBIQUITOUS COMPUTING AND COMMUNICATIONS - DEPENDABLE, AUTONOMIC AND SECURE COMPUTING - PERVASIVE INTELLIGENCE AND COMPUTING, 2015, : 2169 - 2176
  • [40] Reasoning with fuzzy extensions of OWL and OWL 2
    Giorgos Stoilos
    Giorgos Stamou
    Knowledge and Information Systems, 2014, 40 : 205 - 242