On the Logical Properties of the Description Logic DLN (Extended abstract)

被引：0
|
作者：
Bonatti, Piero A. [1 ]
Sauro, Luigi [1 ]
机构：
[1] Univ Napoli Federico II, Naples, Italy
来源：
PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2018年
关键词：
NONMONOTONIC DESCRIPTION LOGIC; RATIONAL CLOSURE;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
DLN is a recent nonmonotonic description logic, designed for satisfying independently proposed knowledge engineering requirements, and for removing some recurrent drawbacks of traditional nonmonotonic semantics. In this paper we study the logical properties of DLN and their relationships with the KLM postulates. We use various versions of the KLM postulates to deepen the comparison with related work, and illustrate the different tradeoffs between opposite expressivity requirements adopted by each approach.
引用
收藏
页码：5558 / 5562
页数：5
相关论文
共 50 条
  • [1] On the logical properties of the nonmonotonic description logic DLN
    Bonatti, P. A.
    Sauro, L.
    ARTIFICIAL INTELLIGENCE, 2017, 248 : 85 - 111
  • [2] Logical closure properties of propositional proof systems - (Extended abstract)
    Beyersdorff, Olaf
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 318 - 329
  • [3] Logical relations for encryption (extended abstract)
    Sumii, E
    Pierce, BC
    14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 256 - 269
  • [4] A Logical Semantics for Description Logic Programs
    Fink, Michael
    Pearce, David
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 156 - 168
  • [5] Logical data independence reconsidered (Extended abstract)
    Lu, JJ
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2005, 3488 : 678 - 687
  • [6] An Epistemic Strategy Logic (Extended Abstract)
    Huang, Xiaowei
    van der Meyden, Ron
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (146): : 35 - 41
  • [7] Temporal prepositions and their logic: Extended abstract
    Pratt-Hartmann, I
    11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 7 - 8
  • [8] Logic, Accountability and Design: Extended Abstract
    Cabalar, Pedro
    Pearce, David
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 65 - 72
  • [9] The extended default description logic
    Cao, Cungen
    Sui, Yuefei
    Sun, Yu
    PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE: 50 YEARS' ACHIEVEMENTS, FUTURE DIRECTIONS AND SOCIAL IMPACTS, 2006, : 129 - 133
  • [10] LOGICAL TRUTH .3. LOGIC AND DESCRIPTION
    ROLLINS, CD
    JOURNAL OF PHILOSOPHY, 1956, 53 (22): : 688 - 696
12345