[go: up one dir, main page]

Description Logics Seminar

Online Seminar of the Description Logic Community

The goal of the Description Logic (DL) Seminar Series is to complement the DL workshop, strengthening the DL community by fostering exchanges and collaboration throughout the year. The seminar will take place approximately once a month, on Fridays at 2pm CE(S)T, with talks of 30-40 minutes plus time for discussion. To stay informed about the seminar series, please join the DL mailing list as well as the KR Discord channel.

If you have questions or suggestions, you can send an email to the organizers: Bartosz Bednarczyk, Elena Botoeva, Maurice Funk, and Quentin Manière.

Upcoming Talks

All talks will start on Fridays at 2pm CE(S)T, unless noted otherwise.
To make it easy for you to stay up to date, we also export the talks as a calendar, which can be added to e.g. Thunderbird via the URL: https://dl.kr.org/seminar/calendar

DateSpeakerTitleZoom Link
2026-03-27Stefan Borgwardt (TU Dresden)TBAJoin via Zoom!

Past Talks

The password for the VODs is distributed through the usual communication channels; you can also reach out to the organizers (see above).

DateSpeakerTitleLink to Recording
2026-02-20Jean Christoph Jung (TU Dortmund)Computing Interpolants in Description LogicsTBA
2026-01-09Sebastian Rudolph (TU Dresden)Multiperspective Reasoning in KR Formalisms via Standpoint LogicWatch the VOD!
2025-10-10Anouk Michelle Oudshoorn (TU Wien)Well-founded SHACL and the Modal Mu-CalculusWatch the VOD!
2025-10-10Federica Di Stefano (TU Wien)Non-monotonic Description Logics Based on Predicate MinimizationWatch the VOD!
2025-06-20Axel-Cyrille Ngonga Ngomo (Paderborn University)Neuro-Symbolic Concept LearningWatch the VOD!
2025-05-16Diego Figueira (CNRS, University of Bordeaux)First-order rewritability of recursive path queriesWatch the VOD!
2025-04-11Lukas Gerlach (TU Dresden)Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient ConditionsWatch the VOD!
2025-04-11Raoul Koudjis (University of Bergen)On the Power and Limitations of Examples for Describing Description Logic ConceptsWatch the VOD!
2025-03-21Carsten Lutz (Universität Leipzig)Logical Characterizations of Recurrent GNNsWatch the VOD!
2025-02-07Meghyn Bienvenu (University of Bordeaux)Repair-Based Semantics for Querying Inconsistent Data: From Databases to Knowledge Bases and BackWatch the VOD!
2025-01-10Magdalena Ortiz (TU Wien)Bridging DLs and SHACL Validation Watch the VOD!
2024-11-15Maurice Funk (Leipzig University)Learning Conjunctive Queries under Description Logic OntologiesWatch the VOD!
2024-11-15Anton Gnatenko (Free University of Bozen-Bolzano)First-Order Rewritability of Ontology-Mediated Queries in (Temporal) Description LogicsWatch the VOD!
2024-10-04Balder ten Cate (University of Amsterdam)Fitting Algorithms for Conjunctive QueriesWatch the VOD!
2024-09-06Elena Botoeva (University of Kent)Verification of neural-symbolic multi-agent systemsWatch the VOD!
2024-06-07Stéphane Demri (LMF, CNRS)First Steps Towards Taming Description Logics with StringsWatch the VOD!
2024-04-05Rafael Peñaloza (University of Milano-Bicocca)Axiom Pinpointing is Dead. Long Live Axiom Pinpointing!Watch the VOD!
2024-03-08Sanja Lukumbuzya (TU Vienna)On the Complexity and Expressive Power of Ontology-Mediated Queries with Closed Predicates: Capturing coNPWatch the VOD!
2024-03-08Bartosz Bednarczyk (TU Dresden & University of Wroclaw) The Z family of Description LogicsWatch the VOD!
2024-02-02Renata Wassermann (University of São Paulo)Belief Revision for Description LogicsWatch the VOD!
2023-12-01Frank Wolter (University of Liverpool)An Introduction to Craig Interpolation from a DL PerspectiveWatch the VOD!
2023-11-10Tommie Meyer (University of Cape Town and CAIR)Defeasible Reasoning for Description LogicsWatch the VOD!
2023-10-06Vaishak Belle (University of Edinburgh)Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyondWatch the VOD!
2023-06-30Diego Calvanese (Free University of Bozen-Bolzano & Umeå University)DLs and Information SystemsWatch the VOD!
2023-06-02Uli Sattler (University of Manchester)Reasoning in Description Logics: how? Why? And who pays?Watch the VOD!
2023-05-05Franz Baader (TU Dresden)The DL World According to Baader or DL Geschichten vom FranzTBA