Relevant closure: A new form of defeasible reasoning for description logics

被引：28
|
作者：
Casini, Giovanni [1 ]
Meyer, Thomas [1 ]
Moodley, Kodylan [1 ]
Nortjé, Riku [1 ]
机构：
[1] Centre for Artificial Intelligence Research (CSIR Meraka and UKZN), South Africa
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8761卷
关键词：
D O I：
10.1007/978-3-319-11558-0_7
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：92 / 106
相关论文
共 50 条
  • [31] Rational Closure For All Description Logics
    Bonatti, Piero A.
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 5025 - 5029
  • [32] The knowledge cartography - A new approach to reasoning over description logics ontologies
    Goczyla, K
    Grabowska, T
    Waloszek, W
    Zawadzki, M
    SOFSEM 2006: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2006, 3831 : 293 - 302
  • [33] Multiple logics within argument: how defeasible and classical reasoning work together
    Stenning, Keith
    Computational Models of Argument, 2012, 245 : 14 - 20
  • [34] A Lightweight Defeasible Description Logic in DepthQuantification in Rational Reasoning and Beyond
    Maximilian Pensel
    KI - Künstliche Intelligenz, 2020, 34 : 527 - 531
  • [35] Order-Oriented Reasoning in Description Logics
    Vanekova, Veronika
    Vojtas, Peter
    ADVANCES IN INTELLIGENT WEB MASTERING-2, PROCEEDINGS, 2010, 67 : 219 - +
  • [36] The complexity of finite model reasoning in description logics
    Lutz, C
    Sattler, U
    Tendera, L
    INFORMATION AND COMPUTATION, 2005, 199 (1-2) : 132 - 171
  • [37] Reasoning about Typicality in Preferential Description Logics
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 192 - +
  • [38] Reasoning on expressive description logics with arithmetic constraints
    Barcenas, Everardo
    Molero, Guillermo
    Sanchez, Gabriela
    Benitez-Guerrero, Edgard
    Mezura-Godoy, Carmen
    2016 INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS (CONIELECOMP), 2016, : 180 - 185
  • [39] A framework for part-of reasoning in description logics
    不详
    PART-WHOLE REASONING IN AN OBJECT-CENTERED FRAMWORK, 2000, 1771 : 41 - 53
  • [40] Finite Model Reasoning in Horn Description Logics
    Ibanez-Garcia, Yazmin
    Lutz, Carsten
    Schneider, Thomas
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 288 - 297
12345