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 条
  • [21] Translating description logic queries to Prolog
    Nagy, Z
    Lukácsy, G
    Szeredi, P
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2006, 3819 : 168 - 182
  • [22] Reasoning on XBRL metadata in description logic
    Wang, Dong
    Pan, Ding
    Zhang, Yingmin
    Information Technology Journal, 2013, 12 (24) : 8000 - 8004
  • [23] Automated Ontology Selection based on Description Logic
    Wang, Xiaodong
    Guo, Lei
    Fang, Jun
    PROCEEDINGS OF THE 2008 12TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS I AND II, 2008, : 482 - 487
  • [24] OPTIMIZING DESCRIPTION LOGIC REASONING FOR THE SERVICE MATCHMAKING AND COMPOSITION
    Babik, Marian
    Hluchy, Ladislav
    COMPUTING AND INFORMATICS, 2008, 27 (04) : 661 - 679
  • [25] Enhanced entity-relationship modeling with description logic
    Zhang, Fu
    Ma, Z. M.
    Cheng, Jingwei
    KNOWLEDGE-BASED SYSTEMS, 2016, 93 : 12 - 32
  • [26] Cardinality Restrictions Within Description Logic Connection Calculi
    Freitas, Fred
    Varzinczak, Ivan
    RULES AND REASONING (RULEML+RR 2018), 2018, 11092 : 65 - 80
  • [27] Reasoning in Fuzzy Description Logics using Automata
    Borgwardt, Stefan
    Penaloza, Rafael
    FUZZY SETS AND SYSTEMS, 2016, 298 : 22 - 43
  • [28] Model-theoretic inseparability and modularity of description logic ontologies
    Konev, Boris
    Lutz, Carsten
    Walther, Dirk
    Wolter, Frank
    ARTIFICIAL INTELLIGENCE, 2013, 203 : 66 - 103
  • [29] Modeling Brain and Behavior of a Terrorist through Fuzzy logic and Ontology
    Vishwakarma, Raj Kumar
    Shankar, Ravi
    2013 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM 2013), 2013, : 857 - 861
  • [30] Extending the description logic εL with threshold concepts induced by concept measures
    Baader, Franz
    Gil, Oliver Fernandez
    ARTIFICIAL INTELLIGENCE, 2024, 326
12345