<div dir="ltr">Just a reminder: the talks are today at 2pm!<div><a href="https://uib.zoom.us/j/66105226841?pwd=tKum8xbpKx8EcRoUWCpQZXTqRwuulT.1">https://uib.zoom.us/j/66105226841?pwd=tKum8xbpKx8EcRoUWCpQZXTqRwuulT.1</a><br>Meeting ID: 661 0522 6841<br>Password: Lzr3cTF3</div><div>Bartosz Bednarczyk</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">wt., 5 lis 2024 o 13:54 Bartosz Bednarczyk <<a href="mailto:bartosz.bednarczyk@cs.uni.wroc.pl">bartosz.bednarczyk@cs.uni.wroc.pl</a>> napisał(a):<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Dear members of the DL community,<br>We are pleased to invite you to the upcoming Description Logics Seminar, which will be held next Friday, November 15, 2024, at 2:00 PM via Zoom. This session features two exceptional speakers: Maurice Funk from Leipzig University and Anton Gnatenko from the Free University of Bozen-Bolzano. <br>All further details about the talks will be available here: <a href="https://dl.kr.org/seminar" target="_blank">https://dl.kr.org/seminar</a><br>For convenience, abstracts for their talks are attached below<br>Looking forward to seeing you there!<br>Best regards,<br>Bartosz Bednarczyk (on behalf of the DL Seminar Organizing Team)<br><br><br>Talk by Maurice Funk (Leipzig University)<br>Learning Conjunctive Queries under Description Logic Ontologies<br>Learning conjunctive queries (CQs) from labeled data examples requires deciding NP-hard problems, even for very restricted classes of CQs. One way to circumvent this and enable learning in polynomial time, is to give the learner access to more information through membership queries. This notion of learning is formalized by Angluin's exact learning model. This talk is concerned with the exact learning of CQs in the setting where queries are answered under a description logic (DL) ontology. I will give an overview of several results on the learnability of queries under ontologies formulated in DLs from the EL and DL-Lite families, as well as the implications of these results on the learnability of DL concepts in the same setting. Additionally, I will point out the main open questions in this area.<br><br>Talk by Anton Gnatenko (Free University of Bozen-Bolzano)<br>First-Order Rewritability of Ontology-Mediated Queries in (Temporal) Description Logics<br>An ontology-mediated query consists of a TBox T and a database query Q. Sometimes, all the reasoning required to answer (T, Q) can be "packed" into an existential positive first-order formula \phi, called the first-order rewriting, so that answering (T, Q) is equivalent to just evaluating \phi, over any ABox. Evaluating first-order formulae is fast and can be done by standard database engines. Therefore, if \phi exists, it is preferable to compute it once and reuse it when you need to answer (T, Q), rather than invoking a slower DL reasoner every time. The question is how to check whether it exists and, if so, how to obtain it. I will survey how this problem is (un)resolved for some description logics, and how it becomes more complex in the context of logics with temporal operators.</div>
</blockquote></div>