Umeå University's logo

umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
On the expressive power of ontology-mediated queries: capturing coNP
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 (engelsk)Inngår i: Proceedings of the 36th international workshop on Description Logics (DL 2023) / [ed] Oliver Kutz; Carsten Lutz; Ana Ozaki, CEUR-WS , 2023Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
CEUR-WS , 2023.
Serie
CEUR workshop proceedings, E-ISSN 1613-0073 ; 3515
Emneord [en]
Description Logics, Descriptive Complexity, Expressive Power, Ontology-mediated Query Answering
HSV kategori
Identifikatorer
URN: urn:nbn:se:umu:diva-217412Scopus ID: 2-s2.0-85176404570OAI: oai:DiVA.org:umu-217412DiVA, id: diva2:1816638
Konferanse
36th International Workshop on Description Logics, DL 2023, Rhodes, Greece, September 2-4, 2023
Tilgjengelig fra: 2023-12-04 Laget: 2023-12-04 Sist oppdatert: 2023-12-04bibliografisk kontrollert

Open Access i DiVA

fulltext(1928 kB)109 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1928 kBChecksum SHA-512
344736c855c6d2a7520103b184fa3848248fc71028b4111c7d75f21bd6f461f90bd498188e7184bd3be76ed63a105a78d4e2f43e9364212d481bf6ae15b78b3d
Type fulltextMimetype application/pdf

Andre lenker

ScopusPublisher's full text, proceeding

Person

Ortiz, MagdalenaŠimkus, Mantas

Søk i DiVA

Av forfatter/redaktør
Ortiz, MagdalenaŠimkus, Mantas
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 110 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 397 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf