A tableau decision algorithm for dynamic description logic

被引：0
|
作者：
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China [1 ]
不详 [2 ]
机构：
来源：
Jisuanji Xuebao | 2008年 / 6卷 / 896-909期
关键词：
Computer circuits;
D O I：
10.3724/sp.j.1016.2008.00896
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A Tableau Decision Algorithm for Description Logic CATSbqr
    Liu, Haifeng
    PROCEEDINGS OF THE 2016 3RD INTERNATIONAL CONFERENCE ON MATERIALS ENGINEERING, MANUFACTURING TECHNOLOGY AND CONTROL, 2016, 67 : 636 - 643
  • [2] A Tableau Algorithm for Possibilistic Description Logic ALC
    Qi, Guilin
    Pan, Jeff Z.
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2008, 5341 : 238 - +
  • [3] Inconsistency degree computation for possibilistic description logic: an extension of the tableau algorithm
    Lesot, Marie-Jeanne
    Couchariere, Olivier
    Bouchon-Meunier, Bernadette
    Rogier, Jean-Luc
    2008 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1 AND 2, 2008, : 210 - 215
  • [4] An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
    Bresolin, Davide
    Montanari, Angelo
    Sala, Pietro
    STACS 2007, PROCEEDINGS, 2007, 4393 : 549 - +
  • [5] A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI
    Nguyen, Linh Anh
    COMPUTATIONAL COLLECTIVE INTELLIGENCE: TECHNOLOGIES AND APPLICATIONS, PT I, 2011, 6922 : 572 - 581
  • [6] A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
    Zhang, Xiaowang
    Lin, Zuoquan
    Wang, Kewen
    WEB TECHNOLOGIES AND APPLICATIONS, 2011, 6612 : 345 - +
  • [7] A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics
    Wang, Zhuxiao
    Guan, Zhitao
    Li, Wei
    Wu, Kehe
    Guo, Jing
    Tian, Guanhua
    INFORMATION COMPUTING AND APPLICATIONS, PT 1, 2012, 307 : 192 - +
  • [8] Algebraic tableau reasoning for the description logic SHOQ
    Faddoul, Jocelyne
    Haarslev, Volker
    JOURNAL OF APPLIED LOGIC, 2010, 8 (04) : 334 - 355
  • [9] A modal supervaluation description logic for characterization of vague concepts: its semantics and a tableau algorithm for it
    Liu, Lei
    Chen, Lin
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (06) : 873 - 888
  • [10] Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCC
    Odintsov, S.P.
    Wansing, H.
    Journal of Applied Logic, 2008, 6 (03) : 343 - 360
12345