Reasoning within the extended fuzzy description logics with restricted terminological boxes

被引：0
|
作者：
Kang, Dazhou [1 ]
Xu, Baowen [1 ]
Li, Yanhui [1 ]
机构：
[1] Southeast Univ, Sch Comp Sci & Engn, Nanjing 210096, Peoples R China
来源：
ICSC 2007: INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING, PROCEEDINGS | 2007年
基金：
中国国家自然科学基金; 新加坡国家研究基金会;
关键词：
D O I：
10.1109/ICSC.2007.103
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The extended fuzzy description logics extend the classical description logics by introducing cut concepts and cut roles to support expressive representation and reasoning for fuzzy knowledge. But the current extended fuzzy description logics lack reasoning algorithms with TBoxes. The paper proposes the sat-domain problem of the extended fuzzy description logic EFALCR+ with restricted TBoxes, and gives art optimized reasoning algorithm, which is proved to be sound, complete and with a worst complexity of EXPTime; then proves the complexity of the problem is EXPTime-complete.
引用
收藏
页码：137 / +
页数：2
相关论文
共 50 条
  • [21] Expressive reasoning with horn rules and fuzzy description logics
    Theofilos Mailis
    Giorgos Stoilos
    Giorgos Stamou
    Knowledge and Information Systems, 2010, 25 : 105 - 136
  • [22] Reasoning with Inconsistency-tolerant Fuzzy Description Logics
    Kamide, Norihiro
    ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, 2022, : 63 - 74
  • [23] Expressive reasoning with horn rules and fuzzy description logics
    Mailis, Theofilos
    Stoilos, Giorgos
    Stamou, Giorgos
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2007, 4524 : 43 - +
  • [24] Default assumption reasoning based on fuzzy description logics
    Zhang, Min, 1600, Transport and Telecommunication Institute, Lomonosova street 1, Riga, LV-1019, Latvia (18):
  • [25] Consistency reasoning in lattice-based fuzzy Description Logics
    Borgwardt, Stefan
    Penaloza, Rafael
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (09) : 1917 - 1938
  • [26] Modal logics, description logics and arithmetic reasoning
    Ohlbach, HJ
    Koehler, J
    ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 1 - 31
  • [27] Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
    Hudelot, Celine
    Atif, Jamal
    Bloch, Isabelle
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 497 - 502
  • [28] Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics
    Zhao, Jidi
    Boley, Harold
    CANADIAN SEMANTIC WEB: TECHNOLOGIES AND APPLICATIONS, 2010, : 27 - 53
  • [29] Analogical Reasoning in Description Logics
    d'Amato, Claudia
    Fanizzi, Nicola
    Esposito, Floriana
    UNCERTAINTY REASONING FOR THE SEMANTIC WEB I, 2008, 5327 : 330 - 347
  • [30] Hypertableau reasoning for description logics
    Motik, Boris
    Shearer, Rob
    Horrocks, Ian
    Journal of Artificial Intelligence Research, 2009, 36 : 165 - 228
12345