Umeå University's logo

umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Circumscription in DL-Lite: progress report
Università Degli Studi di Napoli Federico II, Italy.
Insitute of Logic and Computation, TU Wien, Austria.
Umeå University, Faculty of Science and Technology, Department of Computing Science.ORCID iD: 0000-0002-2344-9658
Umeå University, Faculty of Science and Technology, Department of Computing Science.ORCID iD: 0000-0003-0632-0294
2023 (English)In: Proceedings of the 36th international workshop on Description Logics (DL 2023) / [ed] Oliver Kutz; Carsten Lutz; Ana Ozaki, CEUR-WS , 2023Conference paper, Published paper (Refereed)
Abstract [en]

Circumscription is a prominent approach to bring non-monotonicity to Description Logics (DLs), but unfortunately, it usually displays very high computational complexity of reasoning. Many works have studied circumscribed DLs, but most of them focus on expressive DLs containing ALC, and the results for low-complexity DLs are limited. This paper summarises some recent progress in characterizing the computational complexity of reasoning in circumscribed DL-Lite. We perform a two-dimensional analysis, considering different languages of the DL-Lite family, and varying how concepts and roles are treated. In addition to classical circumscription, we consider the recently studied pointwise circumscription, which shows better complexity, in some cases, and remains decidable in the presence of minimized roles.

Place, publisher, year, edition, pages
CEUR-WS , 2023.
Series
CEUR workshop proceedings, E-ISSN 1613-0073 ; 3515
Keywords [en]
Circumscription, Computational Complexity, DL-Lite, Lightweight DLs, Non-monotonic reasoning
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:umu:diva-217214Scopus ID: 2-s2.0-85176437469OAI: oai:DiVA.org:umu-217214DiVA, id: diva2:1816303
Conference
36th International Workshop on Description Logics, DL 2023, Rhodes, Greece, September 2-4, 2023
Available from: 2023-12-01 Created: 2023-12-01 Last updated: 2023-12-01Bibliographically approved

Open Access in DiVA

fulltext(1314 kB)107 downloads
File information
File name FULLTEXT01.pdfFile size 1314 kBChecksum SHA-512
dcdc2b54faec5fdc10d54cf1688d0c068c384213e657a5ab78c8be5c3d643cc56f5753ba692d83590ceab650822d80d4a2af11d5477d3327791b68a525d31cd4
Type fulltextMimetype application/pdf

Other links

ScopusPublisher's full text, proceeding

Authority records

Ortiz, MagdalenaŠimkus, Mantas

Search in DiVA

By author/editor
Ortiz, MagdalenaŠimkus, Mantas
By organisation
Department of Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 107 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 395 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf