Umeå universitets logga

umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Proceedings of the 36th international workshop on Description Logics (DL 2023) / [ed] Oliver Kutz; Carsten Lutz; Ana Ozaki, CEUR-WS , 2023Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
CEUR-WS , 2023.
Serie
CEUR workshop proceedings, E-ISSN 1613-0073 ; 3515
Nyckelord [en]
Description Logics, Descriptive Complexity, Expressive Power, Ontology-mediated Query Answering
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:umu:diva-217412Scopus ID: 2-s2.0-85176404570OAI: oai:DiVA.org:umu-217412DiVA, id: diva2:1816638
Konferens
36th International Workshop on Description Logics, DL 2023, Rhodes, Greece, September 2-4, 2023
Tillgänglig från: 2023-12-04 Skapad: 2023-12-04 Senast uppdaterad: 2023-12-04Bibliografiskt granskad

Open Access i DiVA

fulltext(1928 kB)49 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1928 kBChecksumma SHA-512
344736c855c6d2a7520103b184fa3848248fc71028b4111c7d75f21bd6f461f90bd498188e7184bd3be76ed63a105a78d4e2f43e9364212d481bf6ae15b78b3d
Typ fulltextMimetyp application/pdf

Övriga länkar

ScopusPublisher's full text, proceeding

Person

Ortiz, MagdalenaŠimkus, Mantas

Sök vidare i DiVA

Av författaren/redaktören
Ortiz, MagdalenaŠimkus, Mantas
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 49 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 235 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf