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
On the expressive power of ontology-mediated queries: capturing coNP
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]

The complexity and relative expressiveness of Ontology-mediated Queries (OMQs) is quite well understood by now. In this paper, we study the expressive power of OMQs from a descriptive complexity perspective, where the central question is to understand whether a given OMQ language is powerful enough to express all queries that can be computed within some bound on time or space. We show that the OMQ language that pairs instance queries with ontologies in the very expressive DL ALCHOI with closed predicates cannot express all coNP-computable Boolean queries, despite being coNP-complete in data complexity. We, then, propose an extension of this OMQ language that is expressive enough to precisely capture the class of all Boolean queries computable in coNP. This involves adding functionality as well as path expressions and nominal schemata, which are restricted in a way that allows us to carefully incorporate them into the existing mosaic technique for the DL ALCHOIF with closed predicates without affecting the coNP upper bound in data complexity.

Place, publisher, year, edition, pages
CEUR-WS , 2023.
Series
CEUR workshop proceedings, E-ISSN 1613-0073 ; 3515
Keywords [en]
Description Logics, Descriptive Complexity, Expressive Power, Ontology-mediated Query Answering
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:umu:diva-217412Scopus ID: 2-s2.0-85176404570OAI: oai:DiVA.org:umu-217412DiVA, id: diva2:1816638
Conference
36th International Workshop on Description Logics, DL 2023, Rhodes, Greece, September 2-4, 2023
Available from: 2023-12-04 Created: 2023-12-04 Last updated: 2023-12-04Bibliographically approved

Open Access in DiVA

fulltext(1928 kB)77 downloads
File information
File name FULLTEXT01.pdfFile size 1928 kBChecksum SHA-512
344736c855c6d2a7520103b184fa3848248fc71028b4111c7d75f21bd6f461f90bd498188e7184bd3be76ed63a105a78d4e2f43e9364212d481bf6ae15b78b3d
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: 77 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: 274 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