<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Defaults in Description Logics: So Simple, So Di cult</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Piero Bonatti</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Universita degli Studi di Napoli \Federico II"</institution>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Frame systems|the ancestors of Description Logics|supported a form of defeasible inheritance and overriding. Such nonmonotonic features disappeared from implementations after the logical reconstruction of frame systems, although applications provide interesting use cases for nonmonotonic inferences. This talk gives an overview of the nonmonotonic DLs introduced so far, and illustrates the many complexity issues that a ect them (which probably explain the lack of support to nonmonotonic reasoning in DL reasoners). Research never surrenders, though: a pragmatic change of perspective yields encouraging results, that bring the quest for low-complexity, nonmonotonic DLs closer to its goal.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>