<div class="csl-bib-body">
<div class="csl-entry">Bonatti, P., Di Stefano, F., Ortiz, M., & Šimkus, M. (2023). Circumscription in DL-Lite: Progress Report. In O. Kutz, C. Lutz, & A. Ozaki (Eds.), <i>Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)</i>. CEUR-WS.org. https://doi.org/10.34726/5328</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/191149
-
dc.identifier.uri
https://doi.org/10.34726/5328
-
dc.description.abstract
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.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
CEUR Workshop Proceedings
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
Circumscription
en
dc.subject
Computational Complexity
en
dc.subject
DL-Lite
en
dc.subject
Lightweight DLs
en
dc.subject
Non-monotonic reasoning
en
dc.title
Circumscription in DL-Lite: Progress Report
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.identifier.doi
10.34726/5328
-
dc.contributor.affiliation
University of Naples Federico II, Italy
-
dc.contributor.editoraffiliation
Free University of Bozen-Bolzano, Italy
-
dc.contributor.editoraffiliation
Leipzig University, Germany
-
dc.contributor.editoraffiliation
University of Oslo, Norway
-
dc.relation.grantno
P30873-N35
-
dc.relation.grantno
P 30360-N35
-
dc.rights.holder
2023 The authors
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1613-0073
-
tuw.booktitle
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)
-
tuw.container.volume
3515
-
tuw.book.ispartofseries
CEUR Workshop Proceedings
-
tuw.relation.publisher
CEUR-WS.org
-
tuw.project.title
Compiling Knowledge into Applications
-
tuw.project.title
Ontology-mediated Queries for Graph Databases
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
dc.identifier.libraryid
AC17205294
-
dc.description.numberOfPages
13
-
tuw.author.orcid
0000-0002-2344-9658
-
tuw.author.orcid
0000-0003-0632-0294
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
tuw.editor.orcid
0000-0003-1517-7354
-
tuw.editor.orcid
0000-0002-3889-6207
-
tuw.event.name
36th International Workshop on Description Logics (DL 2023)
en
dc.description.sponsorshipexternal
Knut and Alice Wallenberg Foundation
-
dc.relation.grantnoexternal
Wallenberg AI, Autonomous Systems and Software Program (WASP)
-
tuw.event.startdate
02-09-2023
-
tuw.event.enddate
04-09-2023
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Rhodos
-
tuw.event.country
GR
-
tuw.event.presenter
Di Stefano, Federica
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.mimetype
application/pdf
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
item.grantfulltext
open
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
item.fulltext
with Fulltext
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.grantno
P30873-N35
-
crisitem.project.grantno
P 30360-N35
-
crisitem.author.dept
University of Naples Federico II
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
