Consequence-based reasoning for description logics with disjunctions and number restrictions

被引：0
|
作者：
机构：
[1] Bate, Andrew
[2] Motik, Boris
[3] Grau, Bernardo Cuenca
[4] Cucala, David Tena
[5] Simančík, František
[6] Horrocks, Ian
来源：
| 1600年 / AI Access Foundation卷 / 63期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
    Bate, Andrew
    Motik, Boris
    Grau, Bernardo Cuenca
    Cucala, David Tena
    Simancik, Frantisek
    Horrocks, Ian
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018, 63 : 625 - 690
  • [2] Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
    Cucala, David Tena
    Grau, Bernardo Cuenca
    Horrocks, Ian
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 1970 - 1976
  • [3] Consequence-based and fixed-parameter tractable reasoning in description logics
    Simancik, Frantisek
    Motik, Boris
    Horrocks, Ian
    ARTIFICIAL INTELLIGENCE, 2014, 209 : 29 - 77
  • [4] Pay-as-you-go consequence-based reasoning for the description logic SROIQ
    Cucala, David Tena
    Grau, Bernardo Cuenca
    Horrocks, Ian
    ARTIFICIAL INTELLIGENCE, 2021, 298
  • [5] Extending Consequence-Based Reasoning to SRIQ
    Bate, Andrew
    Motik, Boris
    Grau, Bernardo Cuenca
    Simancik, Frantisek
    Horrocks, Ian
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 187 - 196
  • [6] Pay-as-you-go consequence-based reasoning for the description logic SROIQ
    Tena Cucala, David
    Cuenca Grau, Bernardo
    Horrocks, Ian
    Artificial Intelligence, 2021, 298
  • [7] Expressive number restrictions in description logics
    Baader, F
    Sattler, U
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (03) : 319 - 350
  • [8] Reasoning with Qualified Cardinality Restrictions in Fuzzy Description Logics
    Stoilos, Giorgos
    Stamou, Giorgos
    Kollias, Stefanos
    2008 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5, 2008, : 637 - 644
  • [9] The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
    Tobies, S
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2000, 12 : 199 - 217
  • [10] On Concept Forgetting in Description Logics with Qualified Number Restrictions
    Zhao, Yizheng
    Schmidt, Renate A.
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 1984 - 1990
12345