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 条
  • [21] A qualified description of extended fuzzy logic
    Sabahi, Farnaz
    Akbarzadeh-T, M. -R.
    INFORMATION SCIENCES, 2013, 244 : 60 - 74
  • [22] An Extended Description Logic for Event Ontology
    Liu, Wei
    Xu, Wenjie
    Fu, Jianfeng
    Liu, Zongtian
    Zhong, Zhaomang
    ADVANCES IN GRID AND PERVASIVE COMPUTING, PROCEEDINGS, 2010, 6104 : 471 - 481
  • [23] Knowledge of Uncertain Worlds: Programming with Logical Constraints (Extended Abstract)
    Liu, Yanhong A.
    Stoller, Scott D.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325):
  • [24] Out-of-Distribution Detection with Logical Reasoning (Extended Abstract)
    Kirchheim, Konstantin
    Gonschorek, Tim
    Ortmeier, Frank
    KI 2024: ADVANCES IN ARTIFICIAL INTELLIGENCE, KI 2024, 2024, 14992 : 346 - 349
  • [25] Step Theories of Active Logic and Extended Logical Programs
    Fominykh, Igor
    Vinkov, Michael
    PROCEEDINGS OF THE SECOND INTERNATIONAL SCIENTIFIC CONFERENCE INTELLIGENT INFORMATION TECHNOLOGIES FOR INDUSTRY (IITI'17), VOL 1, 2018, 679 : 192 - 201
  • [26] Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
    Voutsadakis, George
    JOURNAL OF MATHEMATICS, 2013, 2013
  • [27] Second-Order Equational Logic (Extended Abstract)
    Fiore, Marcelo
    Hur, Chung-Kil
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 320 - +
  • [28] Bipolarity in possibilistic logic and fuzzy rules - (Extended abstract)
    Dubois, D
    Prade, H
    SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 168 - 173
  • [29] Prime Implicate Generation in Equational Logic (extended abstract)
    Echenim, Mnacho
    Peltier, Nicolas
    Tourret, Sophie
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5588 - 5592
  • [30] A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
    Serbanuta, Traian Florin
    Rosu, Grigore
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 125 - 141
12345