DC Field
Value
Language
dc.contributor.author
Di Stefano, Federica
-
dc.contributor.author
Simkus, Mantas
-
dc.date.accessioned
2025-02-03T15:10:23Z
-
dc.date.available
2025-02-03T15:10:23Z
-
dc.date.issued
2024-08-05
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Di Stefano, F., &#38; Simkus, M. (2024). Stable Model Semantics for Description Logic Terminologies (Extended Abstract). In <i>Proceedings of the 37th International Workshop on Description Logics (DL 2024)</i>. Description Logics (DL 2024), Bergen, Norway. https://doi.org/10.34726/8504</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/210629
-
dc.identifier.uri
https://doi.org/10.34726/8504
-
dc.description.abstract
This paper is an extended abstract of our recent work on proposing a stable model semantics for Description Logic terminologies. Our semantics is based on Quantified Equilibrium Logic and overcomes some limitations of previous approaches. We prove that standard reasoning problems w.r.t. terminologies in ALCI under the stable model semantics are decidable in deterministic single exponential time. In contrast, we show that concept satisfiability w.r.t. general KBs in ALCI under the stable model semantics is undecidable.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
Description Logics
en
dc.subject
Non-monotonic Reasoning
en
dc.subject
Knowledge Representation
en
dc.title
Stable Model Semantics for Description Logic Terminologies (Extended Abstract)
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/8504
-
dc.relation.grantno
P30873-N35
-
dc.rights.holder
© 2024 Copyright for this paper by its authors.
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of the 37th International Workshop on Description Logics (DL 2024)
-
tuw.container.volume
3739
-
tuw.project.title
Compiling Knowledge into Applications
-
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
AC17425562
-
dc.description.numberOfPages
5
-
tuw.author.orcid
0000-0003-0632-0294
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
tuw.event.name
Description Logics (DL 2024)
-
tuw.event.startdate
18-06-2024
-
tuw.event.enddate
21-06-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Bergen
-
tuw.event.country
NO
-
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.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.orcid
0000-0003-0632-0294
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.grantno
P30873-N35
-
Appears in Collections:
Conference Paper
Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(1.07 MB)
Open Access CC BY 4.0
Show simple item record

Page view(s)

18
checked on Feb 4, 2025

Download(s)

3
checked on Feb 4, 2025

Google ScholarTM

Check