[DL] Next DL Seminar by Diego Figueira

[Bartosz Bednarczyk]

Dear DL and KR Community Members,
we are happy to announce that the next Description Logic Seminar will take
place on the 16th of May at 2pm CE(S)T via Zoom.
Our next speaker is Diego Figueira from LaBRI Bordeaux and the topic of his
talk is "First-order rewritability of recursive path queries".
Abstract: I will discuss results regarding the first-order rewritability of
queries featuring recursion in the absence ontologies, focusing on simple
queries known as Conjunctive Regular Path Queries (CRPQ). In the contexts
of databases or computational logics this is often known by the name of
boundedness: the problem of whether the number of iterations of the
recursion needed for the evaluation of a given query can be bounded
independently of the data. For queries closed under homomorphisms, such as
CRPQ, this is equivalent to UCQ rewritability. I will summarize known
decidability and complexity results, which may pave the way to more complex
rewritability questions in the presence of ontologies.

Zoom link:
https://uni-leipzig.zoom-x.de/j/63415787257?pwd=e5J5BLIBdZbmHZzQFO9mBwF3YN0vtC.1

See you there!
Ana Ozaki, Bartosz Bednarczyk, Quentin Manière, and Patrick Koopmann.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20250502/b5120cda/attachment.htm>