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 条
  • [41] Preferential vs Rational Description Logics: which one for Reasoning About Typicality?
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 1069 - +
  • [42] Description logics
    不详
    PART-WHOLE REASONING IN AN OBJECT-CENTERED FRAMWORK, 2000, 1771 : 11 - 20
  • [43] Description Logics
    Baader, Franz
    REASONING WEB: SEMANTIC TECHNOLOGIES FOR INFORMATION SYSTEMS, 2009, 5689 : 1 - 39
  • [44] Description Logics
    Kroetzsch, Markus
    Simancik, Frantisek
    Horrocks, Ian
    IEEE INTELLIGENT SYSTEMS, 2014, 29 (01) : 12 - 19
  • [45] Logics of Rational Interaction
    Kooi, Barteld
    Pacuit, Eric
    DYNAMIC FORMAL EPISTEMOLOGY, 2011, 351 : 5 - +
  • [46] A Formalism Unifying Defeasible Logics and Repair Semantics for Existential Rules
    Hecham, Abdelraouf
    Bisquert, Pierre
    Croitoru, Madalina
    ONTOLOGIES AND CONCEPTS IN MIND AND MACHINE, ICCS 2020, 2020, 12277 : 3 - 17
  • [47] Towards Propositional KLM-Style Defeasible Standpoint Logics
    Leisegang, Nicholas
    Meyer, Thomas
    Rudolph, Sebastian
    ARTIFICIAL INTELLIGENCE RESEARCH, SACAIR 2024, 2025, 2326 : 459 - 475
  • [48] On Logics and Homomorphism Closure
    Bodirsky, Manuel
    Feller, Thomas
    Knaeuer, Simon
    Rudolph, Sebastian
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [49] A Defeasible Reasoning Approach for Description Logic Ontologies
    Moodley, Kody
    Meyer, Thomas
    Varzinczak, Ivan Jose
    PROCEEDINGS OF THE SOUTH AFRICAN INSTITUTE FOR COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS CONFERENCE, 2012, : 69 - 78
  • [50] On the Semantics of Defeasible Reasoning for Description Logic Ontologies
    Viet-Hoai To
    Bac Le
    Ikeda, Mitsuru
    KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 51 - 63
12345