{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T08:58:37Z","timestamp":1770973117946,"version":"3.50.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11]]},"abstract":"<jats:p>Description Logics (DLs) are widely applied in AI and database systems. However, like other classical logics, they cannot adequately handle defeasible information. Building on the notion of rational closure - a form of defeasible reasoning originally developed for the propositional setting and later adapted to DLs - we extend this approach by incorporating two further forms of defeasible reasoning: System W and lexicographic closure. Both are well-established entailment relations in the propositional case and are known to satisfy several desirable properties. In this paper, we provide model-theoretic definitions of these extensions for DLs, analyze their behaviour by relating them to their propositional counterparts, and present algorithms for their computation.<\/jats:p>","DOI":"10.24963\/kr.2025\/22","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"218-228","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning in Defeasible Description Logics with System W and Lexicographic Inference"],"prefix":"10.24963","author":[{"given":"Giovanni","family":"Casini","sequence":"first","affiliation":[{"name":"CNR-ISTI"},{"name":"University of Cape Town and CAIR"}]},{"given":"Jonas","family":"Haldimann","sequence":"additional","affiliation":[{"name":"TU Wien"},{"name":"University of Cape Town and CAIR"}]},{"given":"Thomas","family":"Meyer","sequence":"additional","affiliation":[{"name":"University of Cape Town and CAIR"},{"name":"CNR-ISTI"}]}],"member":"10584","event":{"name":"22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}","theme":"Artificial Intelligence","location":"Melbourne, Australia","acronym":"KR-2025","number":"22","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2025,11,11]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:11:01Z","timestamp":1762323061000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/22"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2025\/22","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}