default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2025: Opole, Poland
- Lidia Tendera, Yazmín Ibáñez-García, Patrick Koopmann:
Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025. CEUR Workshop Proceedings 4091, CEUR-WS.org 2025
Invited Talks
- Ana Ozaki:
On Knowledge Base Embeddings. - Jerzy Marcinkowski:
What It's Like to Be a Database Theorist in the Land of Multisets. - Diego Calvanese:
The Actual Weight of Lightweight Description Logics.
Full Papers
- Ruud van Bakel, Michael Cochez, Patrick Koopmann:
Towards Conceptual Clustering in EL with Simulation Graphs. - Thanasis Apostolopoulos, Spyridon Kantarelis, Giorgos Stamou:
The ontocomc Ontology: A Semantic Framework for Hindemith's Harmonic System. - Moritz Illich, Birte Glimm:
Backward/Forward with Marking for Update Streams. - Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter:
Computation of Interpolants for Description Logic Concepts in Hard Cases. - Joshua Hirschbrunn, Yevgeny Kazakov:
Extending Description Logics with Generic Concepts - the Case of Terminologies. - Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan:
Why not? Developing ABox Abduction Beyond Repairs. - Enamul Haque, David Toman, Grant E. Weddell:
Reliable Reference for a DL Knowledge Base under Data Update. - Jakub Kloc, Janka Boborová, Martin Homola, Júlia Pukancová:
CATS Solver: The Rise of Hybrid Abduction Algorithms. - Zekeri Adams, Martin Homola, Ján Kluka:
Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments? - David Toman, Grant E. Weddell:
Structural Equality Generating Dependencies and Definite Descriptions. - Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz:
Query Rewriting for Nested Navigational Queries over Property Graphs. - Anders Søberg, Martin Giese, Egor V. Kostylev:
Description Logics with Epsilon Individuals. - Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch:
The Shape of EL Proofs: A Tale of Three Calculi. - Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Containment of Conjunctive LTL Queries. - Anouk Michelle Oudshoorn:
SHACL Satisfiability: What Can We Learn from DLs? - Francesco Kriegel:
Abductive Differences of Quantified ABoxes. - Francesco Kriegel:
Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples. - Shikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali, Davide Lanti:
Accessing Semistructured Data with KGs and LLMs.
Extended Abstracts
- Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel:
Testing Description Logic Reasoners (Extended Abstract). - Divya Baura, Diego Calvanese:
Real-world Assessment of Policy-Protected OBDA (Extended Abstract). - Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki:
Inconsistency Handling in DatalogMTL (Extended Abstract). - David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo:
Restricted Chase Termination: You Want More Than Fairness (Extended Abstract). - Daumantas Kojelis:
On Homogeneous Models of Fluted Languages (Extended Abstract). - Bartosz Bednarczyk, Emanuel Kieronski:
Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract). - Maurice Funk, Jean Christoph Jung, Tom Voellmer:
SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract). - Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus:
Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract). - Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean:
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract). - Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade:
Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract). - Maurice Funk, Marvin Grosser, Carsten Lutz:
Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract). - Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph:
Fitting Ontologies and Constraints to Relational Structures (Extended Abstract). - Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova, Julián Méndez:
The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract). - Stefan Borgwardt, Duy Nhu, Gabriele Röger:
Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract). - Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann:
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract). - Franz Baader, Anton Claußnitzer:
Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract). - Sergei Obiedkov, Baris Sertkaya:
PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract). - Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová:
On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract). - Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi:
Logic-Based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract). - Slawomir Kost, Barbara Morawska:
Around Unification in FL⊥ - Three Related Problems (Extended Abstract). - Barbara Morawska, Dariusz Marzec, Slawomir Kost, Michal Henne:
FILO: Unification Solver for FL_0 (Extended Abstract). - Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo:
Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract). - David Carral, Lucas Larroque, Michaël Thomazo:
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract). - Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract). - Lorenzo Marconi, Flavia Ricci, Riccardo Rosati:
Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract). - Gianluca Cima, Marco Console, Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi:
Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract). - Jonas Philipp Haldimann, Magdalena Ortiz, Mantas Simkus:
Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract). - Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo:
No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract). - Francesco Kriegel:
Beyond Optimal: Interactive Identification of Better-Than-Optimal Repairs (Extended Abstract). - Francesco Kriegel:
Reasoning in OWL 2 EL with Hierarchical Concrete Domains (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-05-14 00:31 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
