| 2025 | CADE | Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. | Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann |
| 2025 | ECSQARU | Grdenfors's Supplementary Postulates for Partial Product Contractions. | Franz Baader, Renata Wassermann |
| 2025 | FlAIRS | Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count. | Franz Baader, Anton Claunitzer |
| 2025 | FSCD | The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. | Franz Baader, Oliver Fernndez Gil |
| 2025 | IJCAI | Contractions Based on Optimal Repairs (Extended Abstract). | Franz Baader, Renata Wassermann |
| 2024 | FSCD | On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. | Franz Baader, Jrgen Giesl |
| 2024 | IJCAR | Unification in the Description Logic | Franz Baader, Oliver Fernndez Gil |
| 2024 | KR | Contractions Based on Optimal Repairs. | Franz Baader, Renata Wassermann |
| 2024 | SAC | The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. | Franz Baader, Filippo De Bortoli |
| 2023 | JELIA | Optimal Repairs in the Description Logic | Franz Baader, Patrick Koopmann, Francesco Kriegel |
| 2023 | SAC | Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. | Franz Baader |
| 2023 | SAC | Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah |
| 2022 | CADE | Evonne: Interactive Proof Visualization for Description Logics (System Description). | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julin Mndez |
| 2022 | KR | Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. | Franz Baader, Francesco Kriegel |
| 2021 | CADE | Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2021 | CADE | Computing Optimal Repairs of Quantified ABoxes w.r.t. Static | Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah |
| 2021 | JELIA | An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. | Franz Baader, Jakub Rydval |
| 2021 | SAC | Safety of quantified ABoxes w.r.t. singleton ε | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Pealoza |
| 2020 | CADE | Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. | Franz Baader, Deepak Kapur |
| 2020 | CADE | Description Logics with Concrete Domains and General Concept Inclusions Revisited. | Franz Baader, Jakub Rydval |
| 2020 | ECAI | Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. | Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph |
| 2020 | LPAR | Finding Small Proofs for Description Logic Entailments: Theory and Practice. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2019 | JELIA | Privacy-Preserving Ontology Publishing for | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah |
| 2019 | JELIA | Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 | Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader |
| 2019 | KI | Mixing Description Logics in Privacy-Preserving Ontology Publishing. | Franz Baader, Adrian Nuradiansyah |
| 2019 | SAC | Expressive cardinality constraints on | Franz Baader |
| 2018 | KR | Making Repairs in Description Logics More Gentle. | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Pealoza |
| 2018 | LPAR | Matching in the Description Logic FL0 with respect to General TBoxes. | Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis |
| 2018 | WWW | Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. | Franz Baader, Stefan Borgwardt, Walter Forkel |
| 2018 | WWW | HQA18 Workshop Chairs' Welcome & Organization. | Franz Baader, Brigitte Grau, Yue Ma |
| 2018 | WWW | The Data Complexity of Answering Instance Queries in | Franz Baader, Pavlos Marantidis, Maximilian Pensel |
| 2017 | IJCAI | Query Rewriting for DL-Lite with n-ary Concrete Domains. | Franz Baader, Stefan Borgwardt, Marcel Lippmann |
| 2017 | LATA | Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in | Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis |
| 2017 | SAC | Decidability and complexity of threshold description logics induced by concept similarity measures. | Franz Baader, Oliver Fernandez Gil |
| 2016 | ECAI | Extending the Description Logic with Acyclic TBoxes. | Franz Baader, Oliver Fernandez Gil |
| 2016 | JELIA | Approximate Unification in the Description Logic | Franz Baader, Pavlos Marantidis, Alexander Okhotin |
| 2016 | LATA | Reasoning with Prototypes in the Description Logic | Franz Baader, Andreas Ecke |
| 2014 | KI | Matching with Respect to General Concept Inclusions in the Description Logic | Franz Baader, Barbara Morawska |
| 2014 | KR | Ontology-Based Monitoring of Dynamic Systems. | Franz Baader |
| 2014 | KR | Invited Talks. | Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith |
| 2013 | CADE | Temporalizing Ontology-Based Data Access. | Franz Baader, Stefan Borgwardt, Marcel Lippmann |
| 2012 | AiML | Computing Minimal EL-unifiers is Hard. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | SAT Encoding of Unification in ℇℒℋ | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | Recent Advances in Unification for the EL Family. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | UEL: Unification Solver for the Description Logic ℇℒ - System Description. | Franz Baader, Julian Mendez, Barbara Morawska |
| 2012 | KR | Extending Unification in EL Towards General TBoxes. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | LPAR | Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. | Franz Baader, Alexander Okhotin |
| 2011 | CADE | Unification in the Description Logic | Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska |
| 2010 | ECAI | Verifying Properties of Infinite Sequences of Description Logic Actions. | Franz Baader, Hongkai Liu, Anees ul Mehdi |
| 2010 | KR | Query and Predicate Emptiness in Description Logics. | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2010 | LPAR | Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. | Franz Baader, Marcel Lippmann, Hongkai Liu |
| 2010 | LPAR | SAT Encoding of Unification in | Franz Baader, Barbara Morawska |
| 2009 | ICFCA | Exploring Finite Models in the Description Logic . | Franz Baader, Felix Distel |
| 2009 | ICFCA | Usability Issues in Description Logic Knowledge Base Completion. | Franz Baader, Baris Sertkaya |
| 2009 | LATA | Matching Trace Patterns with Regular Policies. | Franz Baader, Andreas Bauer, Alwen Tiu |
| 2009 | TABLEAUX | A Novel Architecture for Situation Awareness Systems. | Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter |
| 2008 | CADE | Automata-Based Axiom Pinpointing. | Franz Baader, Rafael Pealoza |
| 2008 | ICFCA | A Finite Basis for the Set of EL-Implications Holding in a Finite Model. | Franz Baader, Felix Distel |
| 2008 | KR | LTL over Description Logic Axioms. | Franz Baader, Silvio Ghilardi, Carsten Lutz |
| 2007 | AIME | Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. | Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman |
| 2007 | IJCAI | Completing Description Logic Knowledge Bases Using Formal Concept Analysis. | Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler |
| 2007 | KI | Pinpointing in the Description Logic | Franz Baader, Rafael Pealoza, Boontawee Suntisrivaraporn |
| 2007 | LATA | SI! Automata Can Show PSPACE Results for Description Logics. | Franz Baader, Jan Hladik, Rafael Pealoza |
| 2007 | TABLEAUX | Axiom Pinpointing in General Tableaux. | Franz Baader, Rafael Pealoza |
| 2006 | CADE | CEL - A Polynomial-Time Reasoner for Life Science Ontologies. | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn |
| 2005 | AAAI | Integrating Description Logics and Action Formalisms: First Results. | Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter |
| 2005 | CADE | Connecting Many-Sorted Theories. | Franz Baader, Silvio Ghilardi |
| 2005 | IJCAI | Pushing the EL Envelope. | Franz Baader, Sebastian Brandt, Carsten Lutz |
| 2005 | KI | A New | Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theien |
| 2004 | CADE | A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. | Franz Baader, Silvio Ghilardi, Cesare Tinelli |
| 2004 | ICFCA | Applying Formal Concept Analysis to Description Logics. | Franz Baader, Baris Sertkaya |
| 2004 | JELIA | Engineering of Logics for the Content-Based Representation of Information. | Franz Baader |
| 2004 | JELIA | Computing the Least Common Subsumer w.r.t. a Background Terminology. | Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan |
| 2004 | WG | A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. | Franz Baader |
| 2003 | ICCS | Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. | Franz Baader |
| 2003 | IJCAI | Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. | Franz Baader |
| 2003 | IJCAI | Terminological Cycles in a Description Logic with Existential Restrictions. | Franz Baader |
| 2003 | KI | The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. | Franz Baader |
| 2003 | LPAR | From Tableaux to Automata for Description Logics. | Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
| 2002 | KI | On the Problem of Computing Small Representations of Least Common Subsumers. | Franz Baader, Anni-Yasmin Turhan |
| 2001 | CADE | The Inverse Method Implements the Automata Approach for Modal Satisfiability. | Franz Baader, Stephan Tobies |
| 2001 | IJCAI | Matching under Side Conditions in Description Logics. | Franz Baader, Sebastian Brandt, Ralf Ksters |
| 2001 | LPAR | Unification in a Description Logic with Transitive Closure of Roles. | Franz Baader, Ralf Ksters |
| 2000 | ICCS | Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. | Franz Baader, Ralf Molitor |
| 2000 | KR | Matching Concept Descriptions with Existential Restrictions. | Franz Baader, Ralf Ksters |
| 2000 | KR | Rewriting Concepts Using Terminologies. | Franz Baader, Ralf Ksters, Ralf Molitor |
| 2000 | TABLEAUX | Tableau Algorithms for Description Logics. | Franz Baader |
| 1999 | ICCS | Tractable and Decidable Fragments of Conceptual Graphs. | Franz Baader, Ralf Molitor, Stephan Tobies |
| 1999 | IJCAI | Computing Least Common Subsumers in Description Logics with Existential Restrictions. | Franz Baader, Ralf Ksters, Ralf Molitor |
| 1998 | ECAI | Unification of Concept Terms in Description Logics. | Franz Baader, Paliath Narendran |
| 1998 | ECAI | Description Logics with Concrete Domains and Aggregation. | Franz Baader, Ulrike Sattler |
| 1998 | ICCS | Matching in Description Logics: Preliminary Results. | Franz Baader, Alexander Borgida, Deborah L. McGuinness |
| 1998 | KI | Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. | Franz Baader, Ralf Ksters |
| 1997 | CADE | A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. | Franz Baader, Cesare Tinelli |
| 1997 | LICS | Combination of Compatible Reduction Orderings that are Total on Ground Terms. | Franz Baader |
| 1996 | ECAI | Description Logics with Symbolic Number Restrictions. | Franz Baader, Ulrike Sattler |
| 1996 | KR | Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. | Franz Baader, Ulrike Sattler |
| 1995 | CP | On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. | Franz Baader, Klaus U. Schulz |
| 1995 | IJCAI | Terminological Logics with Modal Operators. | Franz Baader, Armin Laux |
| 1994 | KI | Cardinality Restrictions on Concepts. | Franz Baader, Martin Buchheit, Bernhard Hollunder |
| 1993 | ECSQARU | A Semantics for Open Normal Defaults via a Modified Preferential Approach. | Franz Baader, Karl Schlechta |
| 1993 | IJCAI | How to Prefer More Specific Defaults in Terminological Default Logic. | Franz Baader, Bernhard Hollunder |
| 1992 | CADE | Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. | Franz Baader, Klaus U. Schulz |
| 1992 | ECAI | Computing Extensions of Terminological Default Theories. | Franz Baader, Bernhard Hollunder |
| 1992 | KI | Extensions of Concept Languages for a Mechanical Engineering Application. | Franz Baader, Philipp Hanschke |
| 1992 | KR | Embedding Defaults into Terminological Knowledge Representation Formalisms. | Franz Baader, Bernhard Hollunder |
| 1992 | KR | An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. | Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jrgen Profitlich, Enrico Franconi |
| 1991 | IJCAI | Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. | Franz Baader |
| 1991 | IJCAI | A Scheme for Integrating Concrete Domains into Concept Languages. | Franz Baader, Philipp Hanschke |
| 1991 | KR | Qualifying Number Restrictions in Concept Languages. | Bernhard Hollunder, Franz Baader |
| 1990 | AAAI | Terminological Cycles in KL-ONE-based Knowledge Representation Languages. | Franz Baader |
| 1990 | CADE | Rewrite Systems for Varieties of Semigroups. | Franz Baader |
| 1990 | CADE | Tutorial on Reasoning and Representation with Concept Languages. | Jrgen Mller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka |
| 1990 | ECAI | A Formal Definition for the Expressive Power of Knowledge Representation Languages. | Franz Baader |