default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2026: Lisbon, Portugal
- Alisa Kovtunova, Baris Sertkaya:
Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026), Lisbon, Portugal, July 17-19, 2026. CEUR Workshop Proceedings 4230, CEUR-WS.org 2026
Invited Talks
- Jean Christoph Jung:
Computing Interpolants in Description Logics. - Thomas Meyer:
Defeasible Reasoning. - Stefan Borgwardt:
Explaining Description Logic Reasoning.
Full Papers
- Riccardo Sieve:
OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding Agents. - Michaela Tóthová, Janka Boborová, Júlia Pukancová, Jakub Kloc, Martin Homola:
Visualizing HS-Tree-Based Abductive Reasoning: An Educational Tool for Algorithm Exploration. - Ildar Baimuratov:
DeLTA: A Description Logic-based Annotation Schema for Constructing Expressive OWL DL Axioms from Text. - David Toman, Grant E. Weddell:
Tree Description Dependencies. - Giovanni Casini, Thomas Meyer, Rafael Peñaloza, Leendert van der Torre:
Deontic Defeasible Description Logic. - Michal Henne, Barbara Morawska, Pawel Parys:
Subsumption in ℱℒ⊥reg with TBoxes Is in ExpTime. - Momen Hassan, Uli Sattler:
QBF Reasoning for Concept Satisfiability via an Optimised Reduction From K. - Tiziano Dalmonte, Andrea Mazzullo, Rafael Peñaloza:
Neighbourhood Description Logics for Multiperspective Reasoning. - Bente Gortworst, Cem Okulmus, Magdalena Ortiz, Anni-Yasmin Turhan:
Reaching for the Stars in ℰℒ Concept Learning. - Christian Alrabbaa, Franz Baader, Raimund Dachselt, Pratistha Kansakar, Julián Méndez, Afshin Zanganeh:
Towards Visual Decision Support in Interactive Repair. - Anton R. Gnatenko, Roman Kontchakov:
Temporal ℰℒ and Equations over Sets of Integers. - Maurice Funk, Simon Hosemann, Carsten Lutz:
Finite Characterizations of ℰℒ Ontologies and Concept Inclusions. - Mattia Petrolo, Ekaterina Kubyshkina:
Modeling Bias in Machine Learning with Description Logics and Epistemic Modalities. - Stefan Borgwardt, Duy Nhu:
Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ Rewriting. - Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova:
In the Heart of the Beholder: User-Tailored Explanations for Description Logics. - Bartosz Jan Bednarczyk, Mikolaj Swoboda:
Baby Steps Towards Finite Satisfiability For LoopPDL. - Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality, weighted KBs and preference combination. - Giuseppe Federico, Mena Leemhuis, Oliver Kutz:
Introducing Prism Embeddings: A New Family of Geometric Ontology Embeddings. - Roberto Barile, Claudia d'Amato, Nicola Fanizzi:
LPX-AbPoint: Abduction and Pinpointing for Explaining Link Predictions on DL Knowledge Graphs. - Janos Arpasi, Bartosz Jan Bednarczyk, Magdalena Ortiz:
A Horn Extension of DL-Lite with NL data complexity. - Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan:
The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ℰℒ⊥. - Stefan Borgwardt, Alisa Kovtunova:
Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description Logics.
Extended Abstracts
- Lucía Gómez Álvarez, Sebastian Rudolph:
Towards Putting Perspective into OWL (Extended Abstract). - Oskar Fiuk, Emanuel Kieronski, Vincent Michielini:
Two-Variable Logic for Hierarchically Partitioned and Ordered Data (Extended Abstract). - Alessandro Longato, Ignacio Huitzil, Rafael Peñaloza:
Introducing DeepEL (Extended Abstract). - Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade:
How Hard is it to Decide if a Fact is Relevant to a Query? (Extended Abstract). - Gianluca Cima, Marco Console, Laura Papi:
Formal Reasoning with Learned Predicates (Extended Abstract). - Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta:
Using ASP(Q) to Handle Inconsistent Prioritized Data (Extended Abstract). - Albulen Pano, Davide Lanti, Diego Calvanese, Piero Campalani, Alexander Jacob, Alessandro Mosca:
ontopEO: VKGs over Earth Observation Data (Extended Abstract). - Kajsa Pedersen, Greta Adamo, Roman Kontchakov, Davide Lanti, Andrey Rivkin:
Towards Monitoring of Patients with Bipolar Disorder (Extended Abstract). - Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová:
Optimization and Empirical Evaluation of the CATS ABox Abduction Solver (Extended Abstract). - Mayank Jobanputra, Alisa Kovtunova, Brisca Balthes, Fedor Grigoryevich Pogulskiy, Yifan Wang, Stefan Borgwardt, Vera Demberg:
ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication (Extended Abstract). - Lucas Larroque, Quentin Manière:
Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This (Extended Abstract). - Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak:
Revisiting Conjunctive Query Entailment for 풮 (Extended Abstract). - Bruno F. Lourenço, Hesham Morgan, Ana Ozaki, Aleksandar Pavlovic, Emanuel Sallinger:
BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization (Extended Abstract).
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-30 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
