Rational Closure for Defeasible Description Logics

被引：78
|
作者：
Casini, Giovanni [1 ]
Straccia, Umberto [2 ]
机构：
[1] Scuola Normale Super Pisa, Pisa, Italy
[2] ISTI CNR, Pisa, Italy
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010 | 2010年 / 6341卷
关键词：
TYPICALITY; COMPLEXITY; DEFAULTS; TABLEAUX;
D O I：
10.1007/978-3-642-15675-5_9
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means of a simple method in the context of propositional logic. We then propose an application of our approach to rational closure in the field of Description Logics, an important knowledge representation formalism, and provide a simple decision procedure for this case.
引用
收藏
页码：77 / 90
页数：14
相关论文
共 50 条
  • [1] Defeasible Description Logics
    Varzinczak, Ivan
    KUNSTLICHE INTELLIGENZ, 2020, 34 (04): : 539 - 542
  • [2] Defeasible description logics
    Governatori, G
    RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 98 - 112
  • [3] Rational closure for all description logics
    Bonatti, P. A.
    ARTIFICIAL INTELLIGENCE, 2019, 274 : 197 - 223
  • [4] Defeasible Description Logics
    Ivan Varzinczak
    KI - Künstliche Intelligenz, 2020, 34 : 539 - 542
  • [5] Rational Closure For All Description Logics
    Bonatti, Piero A.
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 5025 - 5029
  • [6] Relevant closure: A new form of defeasible reasoning for description logics
    Casini, Giovanni
    Meyer, Thomas
    Moodley, Kodylan
    Nortjé, Riku
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8761 : 92 - 106
  • [7] Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
    Casini, Giovanni
    Meyer, Thomas
    Moodley, Kodylan
    Nortje, Riku
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 92 - 106
  • [8] Practical Defeasible Reasoning for Description Logics
    Moodley, Kody
    Meyer, Thomas
    Sattler, Uli
    STAIRS 2014, 2014, 264 : 191 - +
  • [9] Towards a Rational Closure for Expressive Description Logics: the Case of SHIQ
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 95 - 122
  • [10] Defeasible RDFS via rational closure
    Casini, Giovanni
    Straccia, Umberto
    INFORMATION SCIENCES, 2023, 643
12345