ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2009.04978
23
3
v1v2 (latest)

Defeasible reasoning in Description Logics: an overview on DLN\mathcal{DL}^\mathrm{N}DLN

10 September 2020
P. Bonatti
I. Petrova
L. Sauro
ArXiv (abs)PDFHTML
Abstract

DLN\mathcal{DL}^\mathrm{N}DLN is a recent approach that extends description logics with defeasible reasoning capabilities. In this paper we provide an overview on DLN\mathcal{DL}^\mathrm{N}DLN, illustrating the underlying knowledge engineering requirements as well as the characteristic features that preserve DLN\mathcal{DL}^\mathrm{N}DLN from some recurrent semantic and computational drawbacks. We also compare DLN\mathcal{DL}^\mathrm{N}DLN with some alternative nonmonotonic semantics, enlightening the relationships between the KLM postulates and DLN\mathcal{DL}^\mathrm{N}DLN.

View on arXiv
Comments on this paper