[DL] Description Logic Online Seminar June Edition (this Friday, June 7)

[Meghyn Bienvenu]

Dear members of the DL community,

We are very happy to announce the next edition of the Description Logic Seminar, which will take place this Friday at 2pm CET (https://dl.kr.org/seminar). We will have a talk by Stéphane Demri (LMF, CNRS).

Speaker: Stéphane Demri
Time: June 7, 2024 02:00 PM CET
Title: First Steps Towards Taming Description Logics with Strings

Abstract: We consider a description logic over a concrete domain with the strict prefix order over finite strings. Using an automata-based approach, we show that the concept satisfiability problem w.r.t. general TBoxes is ExpTime-complete for all finite alphabets. As far as we know, this is the first complexity result for an expressive description logic with a nontrivial concrete domain on strings. During the talk, other logics with concrete domains and the approach with constrained automata are also briefly discussed. This is a joint work with Karin Quaas (Leipzig University). Paper available at https://hal.science/hal-04212642


Zoom link:
https://tu-dortmund.zoom.us/j/92764219578?pwd=NWJ2VnB3cy9qSC80VlJ3KzFXNldtUT09

We hope to see many of you there!

Best wishes,

Meghyn, Ana, Jean, and Magdalena

PS: Just a reminder that you can join the KR community Discord (and the #dl channel) via https://discord.gg/BBWpqEZT2v. Besides other relevant information regarding the KR & DL communities such as academic events and job offers, you will find talk announcements of the DL Seminar Series and other online events as well.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240603/3deaeae0/attachment.htm>