Some complexity results on fuzzy description logics

被引：0
|
作者：
Bonatti, PA
Tettamanzi, AGB
机构：
[1] Univ Naples Federico II, Dipartimento Sci Fis, Sez Informat, Naples, Italy
[2] Univ Milan, Dipartimento Tecnol Informaz, I-26013 Crema, CR, Italy
来源：
FUZZY LOGIC AND APPLICATIONS | 2006年 / 2955卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present and discuss some novel and somewhat surprising complexity results for a basic but significant fuzzy description logic (DL) which extends the classical ALC language. In particular we show that checking the consistency of a concept or a KB in fuzzy DLs has a complexity which jumps from linear-time to EXPTIME-complete, while the subsumption problem is always (at least) as hard as in crisp DLs.
引用
收藏
页码：19 / 24
页数：6
相关论文
共 50 条
  • [1] Complexity Results of Description Logics
    Gong, Wei
    Zhang, Dongdong
    Zhao, Jie
    [J]. HIGH PERFORMANCE NETWORKING, COMPUTING, AND COMMUNICATION SYSTEMS, 2011, 163 : 66 - 72
  • [2] Decidability and Complexity of Fuzzy Description Logics
    Baader F.
    Borgwardt S.
    Peñaloza R.
    [J]. KI - Künstliche Intelligenz, 2017, 31 (1) : 85 - 90
  • [3] Complexity of some language fragments of fuzzy logics
    Zuzana Haniková
    [J]. Soft Computing, 2017, 21 : 69 - 77
  • [4] Complexity of some language fragments of fuzzy logics
    Hanikova, Zuzana
    [J]. SOFT COMPUTING, 2017, 21 (01) : 69 - 77
  • [5] Closed Predicates in Description Logics: Results on Combined Complexity
    Nhung Ngo
    Ortiz, Magdalena
    Simkus, Mantas
    [J]. FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 237 - 246
  • [6] Transforming fuzzy description logics into classical description logics
    Straccia, U
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 385 - 399
  • [7] On Fuzzy Description Logics
    Garcia-Cerdana, Angel
    Esteva, Francesc
    [J]. ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2008, 184 : 411 - +
  • [8] Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 430 - 436
  • [9] On the failure of the finite model property in some Fuzzy Description Logics
    Bobillo, Fernando
    Bou, Felix
    Straccia, Umberto
    [J]. FUZZY SETS AND SYSTEMS, 2011, 172 (01) : 1 - 12
  • [10] JOINING GODEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
    Bobillo, Fernando
    Delgado, Miguel
    Gomez-Romero, Juan
    Straccia, Umberto
    [J]. INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2012, 20 (04) : 475 - 508
12345