- Titel
- Closed-World Semantics for Conjunctive Queries with Negation over ELH⊥ Ontologies
- Untertitel
- Extended Version
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-887818
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 19-11
- Erstveröffentlichung
- 2019
- DOI
- https://doi.org/10.25368/2023.222
- Abstract (EN)
- Ontology-mediated query answering is a popular paradigm for enriching answers to user queries with background knowledge. For querying the absence of information, however, there exist only few ontology-based approaches. Moreover, these proposals conflate the closed-domain and closed-world assumption, and therefore are not suited to deal with the anonymous objects that are common in ontological reasoning. We propose a new closed-world semantics for answering conjunctive queries with negation over ontologies formulated in the description logic ELH⊥, which is based on the minimal canonical model. We propose a rewriting strategy for dealing with negated query atoms, which shows that query answering is possible in polynomial time in data complexity.
- Andere Ausgabe
- Zuerst erschienen in „Logics in Artificial Intelligence. JELIA 2019. Lecture Notes in Computer Science (Vol 11468)”.
DOI: 10.1007/978-3-030-19570-0_24 - Freie Schlagwörter (DE)
- Beschreibungslogik, Anfragebeantwortung, Negation, Geschlossene-Welt-Semantik
- Freie Schlagwörter (EN)
- description logic, query answering, negation, closed-world semantics
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Herausgeber (Institution)
- Technische Universität Dresden
- Förder- / Projektangaben
- Deutsche Forschungsgemeinschaft Generating & AnSwering Ontological Queries
(GoAsQ)
ID: BA 1122/19-1 - Deutsche Forschungsgemeinschaft TRR 248: Foundations of Perspicuous Software Systems
(CPEC)
ID: 389792660 - Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-887818
- Veröffentlichungsdatum Qucosa
- 28.12.2023
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0