A family of extended fuzzy description logics

被引:21
|
作者
Li, YH [1 ]
Xu, BW [1 ]
Lu, JJ [1 ]
Kang, DZ [1 ]
Wang, P [1 ]
机构
[1] SE Univ, Dept Comp Sci & Engn, Nanjing 210096, Peoples R China
关键词
D O I
10.1145/1095034.1095071
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Typical description logics are limited to dealing with crisp concepts and crisp roles. However, Web applications based on description logics should allow the treatment of the inherent imprecision. Therefore, it is necessary to add fuzzy features to description logics. A family of extended fuzzy description logics is proposed to enable representation and reasoning for complex fuzzy information. The extended fuzzy description logics introduce the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherit the concept and role constructors from description logics. The definitions of syntax, semantics, reasoning tasks, and reasoning properties are given for the extended fuzzy description logic. The extended fuzzy description logics adopt a special fuzzify-method with more expressive power than the previous fuzzy description logics.
引用
收藏
页码:221 / 226
页数:6
相关论文
共 50 条
  • [41] Reasoning in Fuzzy Description Logics using Automata
    Borgwardt, Stefan
    Penaloza, Rafael
    FUZZY SETS AND SYSTEMS, 2016, 298 : 22 - 43
  • [42] Fuzzy Bisimulations in Fuzzy Description Logics Under the Godel Semantics
    Quang-Thuy Ha
    Linh Anh Nguyen
    Thi Hong Khanh Nguyen
    Thanh-Luong Tran
    ROUGH SETS, IJCRS 2018, 2018, 11103 : 559 - 571
  • [43] Formalizing Fuzzy UML Class Diagrams with Fuzzy Description Logics
    Zhou, Bo
    Lu, Jianjiang
    Wang, Zhixue
    Zhang, Yafei
    Miao, Zhuang
    2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 1, PROCEEDINGS, 2009, : 171 - 174
  • [44] Completeness Knowledge Representation in Fuzzy Description Logics
    Danyaro, Kamaluddeen Usman
    Jaafar, Jafreezal
    Liew, Mohd Shahir
    KNOWLEDGE TECHNOLOGY, 2012, 295 : 164 - +
  • [45] On Triangular Norm Based Fuzzy Description Logics
    Garcia-Cerdana, Angel
    Armengol, Eva
    Esteva, Francesc
    PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, 2009, : 891 - 896
  • [46] Data complexity in the εL family of description logics
    Krisnadhi, Adila
    Lutz, Carsten
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 333 - +
  • [47] Extending CARIN to the Description Logics of the SH Family
    Ortiz, Magdalena
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 324 - 337
  • [48] On Partial Features in the DLF Family of Description Logics
    Toman, David
    Weddell, Grant
    PRICAI 2016: TRENDS IN ARTIFICIAL INTELLIGENCE, 2016, 9810 : 529 - 542
  • [49] A New Semantics for Overriding in Description Logics (Extended abstract)
    Bonatti, Piero A.
    Faella, Marco
    Petrova, Iliana M.
    Sauro, Luigi
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 4975 - 4979
  • [50] On the relationship between fuzzy description logics and many-valued modal logics
    García-Cerdaña, Àngel (angel@iiia.csic.es), 1600, Elsevier Inc. (93):