Umeå universitets logga

umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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å universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0002-2344-9658
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0003-0632-0294
2023 (Engelska)Ingår i: Proceedings of the 36th international workshop on Description Logics (DL 2023) / [ed] Oliver Kutz; Carsten Lutz; Ana Ozaki, CEUR-WS , 2023Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
CEUR-WS , 2023.
Serie
CEUR workshop proceedings, E-ISSN 1613-0073 ; 3515
Nyckelord [en]
Circumscription, Computational Complexity, DL-Lite, Lightweight DLs, Non-monotonic reasoning
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:umu:diva-217214Scopus ID: 2-s2.0-85176437469OAI: oai:DiVA.org:umu-217214DiVA, id: diva2:1816303
Konferens
36th International Workshop on Description Logics, DL 2023, Rhodes, Greece, September 2-4, 2023
Tillgänglig från: 2023-12-01 Skapad: 2023-12-01 Senast uppdaterad: 2023-12-01Bibliografiskt granskad

Open Access i DiVA

fulltext(1314 kB)49 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1314 kBChecksumma SHA-512
dcdc2b54faec5fdc10d54cf1688d0c068c384213e657a5ab78c8be5c3d643cc56f5753ba692d83590ceab650822d80d4a2af11d5477d3327791b68a525d31cd4
Typ fulltextMimetyp application/pdf

Övriga länkar

ScopusPublisher's full text, proceeding

Person

Ortiz, MagdalenaŠimkus, Mantas

Sök vidare i DiVA

Av författaren/redaktören
Ortiz, MagdalenaŠimkus, Mantas
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 49 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 227 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf