DL 2025: DESCRIPTION LOGICS 2025

A
Adams, Zekeri	Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?
Alrabbaa, Christian	The Shape of ℰℒ Proofs: A Tale of Three Calculi The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
Apostolopoulos, Thanasis	The ontocomc ontology: A Semantic Framework for Hindemith’s Harmonic System
Augsten, Nikolaus	Query Rewriting for Nested Navigational Queries over Property Graphs
B
Baader, Franz	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract) The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract) Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract)
Baura, Divya	Real-world Assessment of Policy-Protected OBDA (Extended Abstract)
Bednarczyk, Bartosz	Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract)
Bienvenu, Meghyn	Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics (Extended Abstract) A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract) Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract) Inconsistency Handling in DatalogMTL (Extended Abstract)
Boborová, Janka	CATS Solver: The Rise of Hybrid Abduction Algorithms On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)
Borgwardt, Stefan	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract) Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract) The Shape of ℰℒ Proofs: A Tale of Three Calculi
Botoeva, Elena	Accessing Semistructured Data with KGs and LLMs
Bourgaux, Camille	A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract) Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract) Inconsistency Handling in DatalogMTL (Extended Abstract)
C
Calvanese, Diego	TBA Real-world Assessment of Policy-Protected OBDA (Extended Abstract)
Carral, David	Restricted Chase Termination: You Want More than Fairness (Extended Abstract) Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract)
Cima, Gianluca	Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract)
Claußnitzer, Anton	Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract)
Cochez, Michael	Towards Conceptual Clustering in EL with Simulation Graphs
Console, Marco	Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract)
Coombes, Sam	Accessing Semistructured Data with KGs and LLMs
D
Dachselt, Raimund	The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
De Bortoli, Filippo	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)
Delfino, Roberto Maria	Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract) Logic-based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract)
Di Stefano, Federica	Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract) Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)
F
Figueira, Diego	Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract)
Funk, Maurice	SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract) Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract)
G
Gerlach, Lukas	Restricted Chase Termination: You Want More than Fairness (Extended Abstract)
Giese, Martin	Description Logics with Epsilon Individuals
Glimm, Birte	Backward/Forward with Marking for Update Streams
Gnatenko, Anton	Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)
Grosser, Marvin	Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract)
H
Haak, Anselm	Why not? Developing ABox Abduction beyond Repairs
Haldimann, Jonas Philipp	Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract)
Haque, Enamul	Reliable Reference for a DL Knowledge Base under Data Update
Henne, Michał	FILO: unification solver for FL_0 (Extended Abstract)
Herrmann, Philipp	The Shape of ℰℒ Proofs: A Tale of Three Calculi
Hirschbrunn, Joshua	Extending Description Logics with Generic Concepts – the Case of Terminologies
Homola, Martin	Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments? CATS Solver: The Rise of Hybrid Abduction Algorithms On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)
Hosemann, Simon	Fitting Ontologies and Constraints to Relational Structures (Extended Abstract)
I
Illich, Moritz	Backward/Forward with Marking for Update Streams
Inoue, Katsumi	A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)
J
Jean, Robin	A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)
John, Tobias	Testing Description Logic Reasoners (Extended Abstract)
Johnsen, Einar Broch	Testing Description Logic Reasoners (Extended Abstract)
Jordanous, Anna	Accessing Semistructured Data with KGs and LLMs
Jung, Jean Christoph	Fitting Ontologies and Constraints to Relational Structures (Extended Abstract) SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract) Computation of Interpolants for Description Logic Concepts in Hard Cases Complexity of containment for conjunctive LTL queries
K
Kafali, Özgür	Accessing Semistructured Data with KGs and LLMs
Kamburjan, Eduard	Testing Description Logic Reasoners (Extended Abstract)
Kantarelis, Spyridon	The ontocomc ontology: A Semantic Framework for Hindemith’s Harmonic System
Karkee, Shikhat	Accessing Semistructured Data with KGs and LLMs
Kazakov, Yevgeny	Extending Description Logics with Generic Concepts – the Case of Terminologies
Khodadaditaghanaki, Atefe	Inconsistency Handling in DatalogMTL (Extended Abstract)
Kieroński, Emanuel	Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract)
Kl'Uka, Ján	Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?
Kloc, Jakub	CATS Solver: The Rise of Hybrid Abduction Algorithms On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)
Kojelis, Daumantas	On Homogeneous Models of Fluted Languages (Extended Abstract)
Kolodziejski, Jedrzej	Computation of Interpolants for Description Logic Concepts in Hard Cases
Koopmann, Patrick	Why not? Developing ABox Abduction beyond Repairs Towards Conceptual Clustering in EL with Simulation Graphs Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract) Can You Tell the Difference? Contrastive Explanations for ABox Entailments (Extended Abstract)
Kost, Sławomir	FILO: unification solver for FL_0 (Extended Abstract) Around unification in FL\_bottom -- three related problems
Kostylev, Egor V.	Description Logics with Epsilon Individuals
Kovtunova, Alisa	The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
Kriegel, Francesco	Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract) Beyond Optimal: Interactive Identification of Better-than-optimal Repairs (Extended Abstract) Abductive Differences of Quantified ABoxes
Krötzsch, Markus	The Shape of ℰℒ Proofs: A Tale of Three Calculi
L
Lafourcade, Pierre	Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract)
Lanti, Davide	Accessing Semistructured Data with KGs and LLMs
Larroque, Lucas	No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract) Restricted Chase Termination: You Want More than Fairness (Extended Abstract) Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract)
Lenzerini, Maurizio	Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract) Logic-based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract)
Lukumbuzya, Sanja	Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)
Lutz, Carsten	Fitting Ontologies and Constraints to Relational Structures (Extended Abstract) Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract)
Löhnert, Bianca	Query Rewriting for Nested Navigational Queries over Property Graphs
M
Mahmood, Yasir	Why not? Developing ABox Abduction beyond Repairs Can You Tell the Difference? Contrastive Explanations for ABox Entailments (Extended Abstract)
Manière, Quentin	Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract) Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics (Extended Abstract)
Marcinkowski, Jerzy	What It's Like to Be a Database Theorist in the Land of Multisets
Marconi, Lorenzo	Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)
Marzec, Dariusz	FILO: unification solver for FL_0 (Extended Abstract)
Morawska, Barbara	FILO: unification solver for FL_0 (Extended Abstract) Around unification in FL\_bottom -- three related problems
Méndez, Julián	The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
N
Ngonga Ngomo, Axel-Cyrille	Can You Tell the Difference? Contrastive Explanations for ABox Entailments (Extended Abstract)
Nhu, Duy	Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)
O
Obiedkov, Sergei	PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract)
Okulmus, Cem	Query Rewriting for Nested Navigational Queries over Property Graphs
Ortiz, Magdalena	Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract) Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract) Query Rewriting for Nested Navigational Queries over Property Graphs Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)
Ostropolski-Nalewaja, Piotr	No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract)
Oudshoorn, Anouk Michelle	SHACL Satisfiability: What Can We Learn from DLs?
Ozaki, Ana	On Knowledge Base Embeddings
P
Poggi, Antonella	Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract) Logic-based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract)
Pukancová, Júlia	CATS Solver: The Rise of Hybrid Abduction Algorithms On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)
R
Ricci, Flavia	Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)
Rosati, Riccardo	Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)
Rudolph, Sebastian	Fitting Ontologies and Constraints to Relational Structures (Extended Abstract)
Ryzhikov, Vladislav	Complexity of containment for conjunctive LTL queries
Röger, Gabriele	Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)
S
Sertkaya, Barış	PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract)
Sochański, Michal	Two Types of Definite Descriptions: Theory and Implementation
Stamou, Giorgos	The ontocomc ontology: A Semantic Framework for Hindemith’s Harmonic System
Steinhöfel, Dominic	Testing Description Logic Reasoners (Extended Abstract)
Søberg, Anders	Description Logics with Epsilon Individuals
T
Thomazo, Michaël	No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract) Restricted Chase Termination: You Want More than Fairness (Extended Abstract) Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract) Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)
Toman, David	Structural Equality Generating Dependencies and Definite Descriptions Reliable Reference for a DL Knowledge Base under Data Update
Turhan, Anni-Yasmin	Why not? Developing ABox Abduction beyond Repairs
V
van Bakel, Ruud	Towards Conceptual Clustering in EL with Simulation Graphs
Voellmer, Tom	SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract)
W
Wałęga, Przemysław Andrzej	Two Types of Definite Descriptions: Theory and Implementation
Weddell, Grant	Structural Equality Generating Dependencies and Definite Descriptions Reliable Reference for a DL Knowledge Base under Data Update
Wolter, Frank	Computation of Interpolants for Description Logic Concepts in Hard Cases Complexity of containment for conjunctive LTL queries
Z
Zakharyaschev, Michael	Complexity of containment for conjunctive LTL queries
Zawidzki, Michal	Two Types of Definite Descriptions: Theory and Implementation
Š
Šimkus, Mantas	Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract) Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract) Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)

Disclaimer | Powered by EasyChair Smart Program