The Theory of Idempotent Semigroups is of Unification Type Zero. - Franz Baader (J. Autom. Reason., 1986)

A Note on Unification Type Zero. - Franz Baader (Inf. Process. Lett., 1988)

Unification in Commutative Idempotent Monoids. - Franz Baader; Wolfram Büttner (Theor. Comput. Sci., 1988)

Unification Properties of Commutative Theories: A Categorical Treatment. - Franz Baader (Category Theory and Computer Science, 1989)

Characterization of Unification Type Zero. - Franz Baader (RTA, 1989)

Unification in Commutative Theories. - Franz Baader (J. Symb. Comput., 1989)

Unifikation und Reduktionssysteme für Halbgruppenvarietäten. - Franz Baader (1989)

Terminological Cycles in KL-ONE-based Knowledge Representation Languages. - Franz Baader (AAAI, 1990)

Rewrite Systems for Varieties of Semigroups. - Franz Baader (CADE, 1990)

Tutorial on Reasoning and Representation with Concept Languages. - Jürgen Müller 008; Franz Baader; Bernhard Nebel; Werner Nutt; Gert Smolka (CADE, 1990)

A Formal Definition for the Expressive Power of Knowledge Representation Languages. - Franz Baader (ECAI, 1990)

Unification Theory. - Franz Baader (IWWERT, 1990)

Unification in Varieties of Completely Regular Semigroups. - Franz Baader (IWWERT, 1990)

Cyclic, Transitive, and Concrete Extensions of Concept Languages. - Franz Baader (Description Logics, 1991)

Terminological Knowledge Representation: A Proposal for a Terminological Logic. - Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller 008; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich (Description Logics, 1991)

Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. - Franz Baader (IJCAI, 1991)

A Scheme for Integrating Concrete Domains into Concept Languages. - Franz Baader; Philipp Hanschke (IJCAI, 1991)

General A- and AX-Unification via Optimized. - Franz Baader; Klaus U. Schulz (IWWERT, 1991)

Qualifying Number Restrictions in Concept Languages. - Bernhard Hollunder; Franz Baader (KR, 1991)

A Terminological Knowledge Representation System with Complete Inference Algorithms. - Franz Baader; Bernhard Hollunder (PDK, 1991)

Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. - Franz Baader (RTA, 1991)

Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. - Franz Baader; Werner Nutt (RTA, 1991)

AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. - Franz Baader; Alfred Kobsa; Hans-Jürgen Profitlich (Künstliche Intell., 1991)

KRIS: Knowledge Representation and Inference System. - Franz Baader; Bernhard Hollunder (SIGART Bull., 1991)

Are Complete an Expressiv Terminological Systems Feasible? - Franz Baader; Werner Nutt (Description Logics, 1992)

Computing Extensions of Terminological Default Theories. - Franz Baader; Bernhard Hollunder (ECAI Workshop on Knowledge Representation and Reasoning, 1992)

Extensions of Concept Languages for a Mechanical Engineering Application. - Franz Baader; Philipp Hanschke (GWAI, 1992)

An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. - Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi (KR, 1992)

Terminologische Logiken. - Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt (Künstliche Intell., 1992)

A Semantics for Open Normal Defaults via a Modified Preferential Approach. - Franz Baader; Karl Schlechta (ECSQARU, 1993)

How to Prefer More Specific Defaults in Terminological Default Logic. - Franz Baader; Bernhard Hollunder (IJCAI, 1993)

Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. - Franz Baader (J. ACM, 1993)

On the expressivity of feature logics with negation, functional uncertainty, and sort equations. - Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka (J. Log. Lang. Inf., 1993)

"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. - Franz Baader; Philipp Hanschke; Bernhard Hollunder; Bernhard Nebel; Werner Nutt (Künstliche Intell., 1993)

Unification theory. - Franz Baader; Jörg H. Siekmann (Handbook of Logic in Artificial Intelligence and Logic Programming (2), 1994)

Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. - Franz Baader; Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt (KRDB, 1994)

Am empirical analysis of optimization techniques for terminological representation systems. - Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi (Appl. Intell., 1994)

Terminological Logics with Modal Operators. - Franz Baader; Armin Laux (IJCAI (1), 1995)

Overview: KRDB'95. - Franz Baader; Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt (KRDB, 1995)

Combination of Constraint Solving Techniques: An Algebraic POint of View. - Franz Baader; Klaus U. Schulz (RTA, 1995)

On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. - Franz Baader; Klaus U. Schulz (UNIF, 1995)

A Multi-Dimensional Terminological Knowledge Representation Language. - Franz Baader; Hans Jürgen Ohlbach (J. Appl. Non Class. Logics, 1995)

Embedding Defaults into Terminological Knowledge Representation Formalisms. - Franz Baader; Bernhard Hollunder (J. Autom. Reason., 1995)

Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. - Franz Baader; Bernhard Hollunder (J. Autom. Reason., 1995)

Reasoning about structured objects: Knowledge representation meets databases. - Franz Baader; Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt (Knowl. Eng. Rev., 1995)

Combination Techniques and Decision Problems for Disunification. - Franz Baader; Klaus U. Schulz (Theor. Comput. Sci., 1995)

Knowledge Representation in Process Engineering. - Franz Baader; Ulrike Sattler (Description Logics, 1996)

Description Logics with Symbolic Number Restrictions. - Franz Baader; Ulrike Sattler (ECAI, 1996)

Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. - Franz Baader; Ulrike Sattler (KR, 1996)

Combination problems for commutative/monoidal theories or how algebra can help in equational unification. - Franz Baader; Werner Nutt (Appl. Algebra Eng. Commun. Comput., 1996)

Cardinality Restrictions on Concepts. - Franz Baader; Martin Buchheit; Bernhard Hollunder (Artif. Intell., 1996)

Using Automata Theory for Characterizing the Semantics of Terminological Cycles. - Franz Baader (Ann. Math. Artif. Intell., 1996)

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. - Franz Baader; Klaus U. Schulz (J. Symb. Comput., 1996)

Logik-basierte Wissensrepräsentation. - Franz Baader (Künstliche Intell., 1996)

A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. - Franz Baader (J. Log. Comput., 1996)

A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. - Franz Baader; Cesare Tinelli (CADE, 1997)

Combination of Compatible Reduction Orderings that are Total on Ground Terms. - Franz Baader (LICS, 1997)

Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases. - Franz Baader; Manfred A. Jeusfeld; Werner Nutt (SIGMOD Rec., 1997)

Term rewriting and all that. - Franz Baader; Tobias Nipkow (Cambridge University Press, 1998)

Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. - Franz Baader; Ralf Küsters (Description Logics, 1998)

Structural Subsumption Considered from an Automata-Theoretic Point of View. - Franz Baader; Ralf Küsters; Ralf Molitor (Description Logics, 1998)

Description Logics with Concrete Domains and Aggregation. - Franz Baader; Ulrike Sattler (ECAI, 1998)

Matching in Description Logics: Preliminary Results. - Franz Baader; Alexander Borgida; Deborah L. McGuinness (ICCS, 1998)

Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. - Franz Baader; Ralf Küsters (KI, 1998)

On the Complexity of Boolean Unification. - Franz Baader (Inf. Process. Lett., 1998)

Combination of Constraint Solvers for Free and Quasi-Free Structures. - Franz Baader; Klaus U. Schulz (Theor. Comput. Sci., 1998)

Logic-Based Knowledge Representation. - Franz Baader (Artificial Intelligence Today, 1999)

Combining Constraint Solving. - Franz Baader; Klaus U. Schulz (CCL, 1999)

Matching in Description Logics with Existential Restrictions. - Franz Baader; Ralf Küsters (Description Logics, 1999)

Rewriting in Description Logics Using Terminologies. - Franz Baader; Ralf Molitor (Description Logics, 1999)

Tractable and Decidable Fragments of Conceptual Graphs. - Franz Baader; Ralf Molitor; Stephan Tobies (ICCS, 1999)

Computing Least Common Subsumers in Description Logics with Existential Restrictions. - Franz Baader; Ralf Küsters; Ralf Molitor (IJCAI, 1999)

Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. - Franz Baader; Cesare Tinelli (RTA, 1999)

Matching in Description Logics. - Franz Baader; Ralf Küsters; Alexander Borgida; Deborah L. McGuinness (J. Log. Comput., 1999)

Expressive Number Restrictions in Description Logics. - Franz Baader; Ulrike Sattler (J. Log. Comput., 1999)

Fusions of Description Logics. - Franz Baader; Carsten Lutz; Holger Sturm; Frank Wolter (Description Logics, 2000)

Combining Equational Theories Sharing Non-Collapse-Free Constructors. - Franz Baader; Cesare Tinelli (FroCoS, 2000)

Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. - Franz Baader; Ralf Molitor (ICCS, 2000)

Matching Concept Descriptions with Existential Restrictions. - Franz Baader; Ralf Küsters (KR, 2000)

Rewriting Concepts Using Terminologies. - Franz Baader; Ralf Küsters; Ralf Molitor (KR, 2000)

Tableau Algorithms for Description Logics. - Franz Baader (TABLEAUX, 2000)

Unification Theory. - Franz Baader; Wayne Snyder (Handbook of Automated Reasoning, 2001)

The Inverse Method Implements the Automata Approach for Modal Satisfiability. - Franz Baader; Stephan Tobies (IJCAR, 2001)

TBoxes do not Yield a Compact Representation of Least Common Subsumers. - Franz Baader; Anni-Yasmin Turhan (Description Logics, 2001)

Matching under Side Conditions in Description Logics. - Franz Baader; Sebastian Brandt 001; Ralf Küsters (IJCAI, 2001)

Unification in a Description Logic with Transitive Closure of Roles. - Franz Baader; Ralf Küsters (LPAR, 2001)

Heterogeneous information resources need semantic access. - Dieter Fensel; Franz Baader; Marie-Christine Rousset; Holger Wache (Data Knowl. Eng., 2001)

Unification of Concept Terms in Description Logics. - Franz Baader; Paliath Narendran (J. Symb. Comput., 2001)

An Overview of Tableau Algorithms for Description Logics. - Franz Baader; Ulrike Sattler (Stud Logica, 2001)

Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. - Franz Baader; Ralf Küsters (Description Logics, 2002)

On the Problem of Computing Small Representations of Least Common Subsumers. - Franz Baader; Anni-Yasmin Turhan (KI, 2002)

Combining Decision Procedures for Positive Theories Sharing Constructors. - Franz Baader; Cesare Tinelli (RTA, 2002)

Deciding the Word Problem in the Union of Equational Theories. - Franz Baader; Cesare Tinelli (Inf. Comput., 2002)

Fusions of Description Logics and Abstract Description Systems. - Franz Baader; Carsten Lutz; Holger Sturm; Frank Wolter (J. Artif. Intell. Res., 2002)

Description Logics for the Semantic Web. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Künstliche Intell., 2002)

Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. - Franz Baader (Description Logics, 2003)

Description Logic Terminology. - Franz Baader (Description Logic Handbook, 2003)

Extensions to Description Logics. - Franz Baader; Ralf Küsters; Frank Wolter (Description Logic Handbook, 2003)

Basic Description Logics. - Franz Baader; Werner Nutt (Description Logic Handbook, 2003)

Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. - Franz Baader (ICCS, 2003)

Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. - Franz Baader (IJCAI, 2003)

Terminological Cycles in a Description Logic with Existential Restrictions. - Franz Baader (IJCAI, 2003)

The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. - Franz Baader (KI, 2003)

From Tableaux to Automata for Description Logics. - Franz Baader; Jan Hladik; Carsten Lutz; Frank Wolter (Fundam. Informaticae, 2003)

Description logics with aggregates and concrete domains. - Franz Baader; Ulrike Sattler (Inf. Syst., 2003)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook on Ontologies, 2004)

Applying Formal Concept Analysis to Description Logics. - Franz Baader; Baris Sertkaya (ICFCA, 2004)

Engineering of Logics for the Content-Based Representation of Information. - Franz Baader (JELIA, 2004)

A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. - Franz Baader (WG, 2004)

Integrating Description Logics and Action Formalisms: First Results. - Franz Baader; Carsten Lutz; Maja Milicic; Ulrike Sattler; Frank Wolter (AAAI, 2005)

Description Logics as Ontology Languages for the Semantic Web. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Mechanizing Mathematical Reasoning, 2005)

05431 Executive Summary - Deduction and Applications. - Franz Baader; Peter Baumgartner 001; Robert Nieuwenhuis; Andrei Voronkov (Deduction and Applications, 2005)

05431 Abstracts Collection - Deduction and Applications. - Franz Baader; Peter Baumgartner 001; Robert Nieuwenhuis; Andrei Voronkov (Deduction and Applications, 2005)

Connecting Many-Sorted Structures and Theories Through Adjoint Functions. - Franz Baader; Silvio Ghilardi (FroCoS, 2005)

Pushing the EL Envelope. - Franz Baader; Sebastian Brandt 001; Carsten Lutz (IJCAI, 2005)

A New n-Ary Existential Quantifier in Description Logics. - Franz Baader; Eldar Karabaev; Carsten Lutz; Manfred Theißen (KI, 2005)

19th International Conference on Automated Deduction (CADE-19). - Franz Baader (Inf. Comput., 2005)

CEL - A Polynomial-Time Reasoner for Life Science Ontologies. - Franz Baader; Carsten Lutz; Boontawee Suntisrivaraporn (IJCAR, 2006)

Efficient Reasoning in EL+. - Franz Baader; Carsten Lutz; Boontawee Suntisrivaraporn (Description Logics, 2006)

Reasoning Support for Ontology Design. - Carsten Lutz; Franz Baader; Enrico Franconi; Domenico Lembo; Ralf Möller 001; Riccardo Rosati 001; Ulrike Sattler; Boontawee Suntisrivaraporn; Sergio Tessaris (OWLED, 2006)

A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. - Franz Baader; Silvio Ghilardi; Cesare Tinelli (Inf. Comput., 2006)

Description logic. - Franz Baader; Carsten Lutz (Handbook of Modal Logic, 2007)

Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. - Boontawee Suntisrivaraporn; Franz Baader; Stefan Schulz 001; Kent A. Spackman (AIME, 2007)

07401 Executive Summary – Deduction and Decision Procedures. - Franz Baader; Byron Cook; Jürgen Giesl; Robert Nieuwenhuis (Deduction and Decision Procedures, 2007)

07401 Abstracts Collection – Deduction and Decision Procedures. - Franz Baader; Byron Cook; Jürgen Giesl; Robert Nieuwenhuis (Deduction and Decision Procedures, 2007)

Blocking Automata for PSPACE DLs. - Franz Baader; Jan Hladik; Rafael Peñaloza (Description Logics, 2007)

Pinpointing in the Description Logic EL. - Franz Baader; Rafael Peñaloza; Boontawee Suntisrivaraporn (Description Logics, 2007)

Completing Description Logic Knowledge Bases Using Formal Concept Analysis. - Franz Baader; Bernhard Ganter; Baris Sertkaya; Ulrike Sattler (IJCAI, 2007)

Pinpointing in the Description Logic EL+. - Franz Baader; Rafael Peñaloza; Boontawee Suntisrivaraporn (KI, 2007)

SI! Automata Can Show PSPACE Results for Description Logics. - Franz Baader; Jan Hladik; Rafael Peñaloza (LATA, 2007)

SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. - Stefan Schulz 001; Boontawee Suntisrivaraporn; Franz Baader (MedInfo, 2007)

Computing the least common subsumer w.r.t. a background terminology. - Franz Baader; Baris Sertkaya; Anni-Yasmin Turhan (J. Appl. Log., 2007)

Preface to Special Issue on Reasoning in Description Logics. - Franz Baader (J. Autom. Reason., 2007)

Connecting many-sorted theories. - Franz Baader; Silvio Ghilardi (J. Symb. Log., 2007)

A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. - Franz Baader; Novak Novakovik; Boontawee Suntisrivaraporn (Description Logics, 2008)

A Finite Basis for the Set of EL-Implications Holding in a Finite Model. - Franz Baader; Felix Distel (ICFCA, 2008)

Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. - Franz Baader; Boontawee Suntisrivaraporn (KR-MED, 2008)

Pushing the EL Envelope Further. - Franz Baader; Carsten Lutz; Sebastian Brandt 001 (OWLED (Spring), 2008)

Matching linear and non-linear trace patterns with regular policies. - Franz Baader; Andreas Bauer 002; Alwen Tiu (UNIF, 2008)

Unification in the Description Logic EL is of Type Zero. - Franz Baader; Barbara Morawska 001 (UNIF, 2008)

Automata can show PSpace results for description logics. - Franz Baader; Jan Hladik; Rafael Peñaloza (Inf. Comput., 2008)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook of Knowledge Representation, 2008)

Query Answering over DL ABoxes: How to Pick the Relevant Symbols. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (Description Logics, 2009)

Runtime Verification Using a Temporal Description Logic. - Franz Baader; Andreas Bauer 002; Marcel Lippmann (FroCoS, 2009)

Putting ABox Updates into Action. - Conrad Drescher; Hongkai Liu; Franz Baader; Steffen Guhlemann; Uwe Petersohn; Peter Steinke; Michael Thielscher (FroCoS, 2009)

Exploring Finite Models in the Description Logic . - Franz Baader; Felix Distel (ICFCA, 2009)

Usability Issues in Description Logic Knowledge Base Completion. - Franz Baader; Baris Sertkaya (ICFCA, 2009)

Matching Trace Patterns with Regular Policies. - Franz Baader; Andreas Bauer 002; Alwen Tiu (LATA, 2009)

Description Logics. - Franz Baader (Reasoning Web, 2009)

A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. - Franz Baader; Martin Knechtel; Rafael Peñaloza (ISWC, 2009)

A Novel Architecture for Situation Awareness Systems. - Franz Baader; Andreas Bauer 002; Peter Baumgartner 001; Anne Cregan; Alfredo Gabaldon; Krystian Ji; Kevin Lee; David Rajaratnam; Rolf Schwitter (TABLEAUX, 2009)

SNOMED reaching its adolescence: Ontologists' and logicians' health check. - Stefan Schulz 001; Boontawee Suntisrivaraporn; Franz Baader; Martin Boeker (Int. J. Medical Informatics, 2009)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook on Ontologies, 2009)

Verifying Properties of Infinite Sequences of Description Logic Actions. - Franz Baader; Hongkai Liu; Anees ul Mehdi (ECAI, 2010)

Query and Predicate Emptiness in Description Logics. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (KR, 2010)

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. - Franz Baader; Marcel Lippmann; Hongkai Liu (LPAR (Yogyakarta), 2010)

SAT Encoding of Unification in EL. - Franz Baader; Barbara Morawska 001 (LPAR (Yogyakarta), 2010)

Unification in the Description Logic EL - Franz Baader; Barbara Morawska 001 (Log. Methods Comput. Sci., 2010)

Deduktion: von der Theorie zur Anwendung. - Franz Baader; Bernhard Beckert; Tobias Nipkow (Inform. Spektrum, 2010)

Automata-Based Axiom Pinpointing. - Franz Baader; Rafael Peñaloza (J. Autom. Reason., 2010)

Small is Again Beautiful in Description Logics. - Franz Baader; Carsten Lutz; Anni-Yasmin Turhan (Künstliche Intell., 2010)

Axiom Pinpointing in General Tableaux. - Franz Baader; Rafael Peñaloza (J. Log. Comput., 2010)

Unification in the Description Logic EL without the Top Concept. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (CADE, 2011)

Unification in the Description Logic EL without the Top Concept. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2011)

GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. - Franz Baader; Rafael Peñaloza (Description Logics, 2011)

On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. - Franz Baader; Rafael Peñaloza (FroCoS, 2011)

Are fuzzy description logics with general concept inclusion axioms decidable? - Franz Baader; Rafael Peñaloza (FUZZ-IEEE, 2011)

Computing Local Unifiers in the Description Logic EL without the Top Concept. - Franz Baader; Nguyen Thanh Binh 003; Stefan Borgwardt; Barbara Morawska 001 (UNIF, 2011)

Unification in modal and description logics. - Franz Baader; Silvio Ghilardi (Log. J. IGPL, 2011)

What's new in Description Logics. - Franz Baader (Inform. Spektrum, 2011)

Computing Minimal EL-unifiers is Hard. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Advances in Modal Logic, 2012)

A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Australasian Conference on Artificial Intelligence, 2012)

SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (IJCAR, 2012)

Recent Advances in Unification for the EL Family. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (UNIF, 2012)

UEL: Unification Solver for the Description Logic ℇℒ - System Description. - Franz Baader; Julian Mendez 002; Barbara Morawska 001 (IJCAR, 2012)

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2012)

UEL: Unification Solver for EL. - Franz Baader; Stefan Borgwardt; Julian Mendez 002; Barbara Morawska 001 (Description Logics, 2012)

Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. - Wael Yehia; Hongkai Liu; Marcel Lippmann; Franz Baader; Mikhail Soutchanski (Description Logics, 2012)

Extending Unification in EL Towards General TBoxes. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (KR, 2012)

Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. - Franz Baader; Alexander Okhotin (LPAR, 2012)

Editorial. - Franz Baader; Wolfgang Thomas (Inform. Spektrum, 2012)

LTL over description logic axioms. - Franz Baader; Silvio Ghilardi; Carsten Lutz (ACM Trans. Comput. Log., 2012)

Context-dependent views to axioms and consequences of Semantic Web ontologies. - Franz Baader; Martin Knechtel; Rafael Peñaloza (J. Web Semant., 2012)

Temporalizing Ontology-Based Data Access. - Franz Baader; Stefan Borgwardt; Marcel Lippmann (CADE, 2013)

Hybrid EL-Unification is NP-complete. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (Description Logics, 2013)

Hybrid Unification in the Description Logic. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (FroCos, 2013)

Verification of Golog Programs over Description Logic Actions. - Franz Baader; Benjamin Zarrieß (FroCos, 2013)

Learning Formal Definitions for Biomedical Concepts. - George Tsatsaronis 001; Alina Petrova; Maria Kissa; Yue Ma 009; Felix Distel; Franz Baader; Michael Schroeder 001 (OWLED, 2013)

Hybrid Unification in the Description Logic EL. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (UNIF@RTA/TLCA, 2013)

On Language Equations with One-sided Concatenation. - Franz Baader; Alexander Okhotin (Fundam. Informaticae, 2013)

Matching with Respect to General Concept Inclusions in the Description Logic EL. - Franz Baader; Barbara Morawska 001 (Description Logics, 2014)

Matching with Respect to General Concept Inclusions in the Description Logic EL. - Franz Baader; Barbara Morawska 001 (KI, 2014)

Ontology-Based Monitoring of Dynamic Systems. - Franz Baader (KR, 2014)

Invited Talks. - Franz Baader; Anthony G. Cohn 001; Georg Gottlob; Sheila A. McIlraith (KR, 2014)

Runtime verification using the temporal description logic ALC-LTL revisited. - Franz Baader; Marcel Lippmann (J. Appl. Log., 2014)

Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. - Franz Baader; Stefan Borgwardt; Marcel Lippmann (Australasian Conference on Artificial Intelligence, 2015)

Dismatching and Local Disunification in EL (Extended Abstract). - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2015)

Adding Threshold Concepts to the Description Logic EL. - Oliver Fernandez Gil; Franz Baader; Gerhard Brewka (Description Logics, 2015)

Adding Threshold Concepts to the Description Logic EL. - Franz Baader; Gerhard Brewka; Oliver Fernandez Gil (FroCos, 2015)

Dismatching and Local Disunification in EL. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (RTA, 2015)

Formalizing biomedical concepts from textual definitions. - Alina Petrova; Yue Ma 009; George Tsatsaronis 001; Maria Kissa; Felix Distel; Franz Baader; Michael Schroeder 001 (J. Biomed. Semant., 2015)

On the Decidability Status of Fuzzy ALC with General Concept Inclusions. - Franz Baader; Stefan Borgwardt; Rafael Peñaloza (J. Philos. Log., 2015)

Temporal query entailment in the Description Logic SHQ. - Franz Baader; Stefan Borgwardt; Marcel Lippmann (J. Web Semant., 2015)

Extending the Description Logic with Acyclic TBoxes. - Franz Baader; Oliver Fernandez Gil (ECAI, 2016)

Approximate Unification in the Description Logic FL_0. - Franz Baader; Pavlos Marantidis; Alexander Okhotin (JELIA, 2016)

Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. - Franz Baader; Andreas Ecke (LATA, 2016)

The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. - Franz Baader; Pierre Ludmann (UNIF, 2016)

Approximately Solving Set Equations. - Franz Baader; Pavlos Marantidis; Alexander Okhotin (UNIF, 2016)

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Log. Methods Comput. Sci., 2016)

Query and Predicate Emptiness in Ontology-Based Data Access. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (J. Artif. Intell. Res., 2016)

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (Notre Dame J. Formal Log., 2016)

An Introduction to Description Logic. - Franz Baader; Ian Horrocks 001; Carsten Lutz; Ulrike Sattler (Cambridge University Press, 2017)

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Ana Ozaki; Veronika Thost (Description Logics, 2017)

Preliminary Results on the Identity Problem in Description Logic Ontologies. - Franz Baader; Daniel Borchmann; Adrian Nuradiansyah (Description Logics, 2017)

Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). - Franz Baader; Patrick Koopmann; Anni-Yasmin Turhan (Description Logics, 2017)

A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. - Franz Baader (FroCoS, 2017)

Using Ontologies to Query Probabilistic Numerical Data. - Franz Baader; Patrick Koopmann; Anni-Yasmin Turhan (FroCoS, 2017)

Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. - Franz Baader; Andreas Ecke (GCAI, 2017)

Query Rewriting for DL-Lite with n-ary Concrete Domains. - Franz Baader; Stefan Borgwardt; Marcel Lippmann (IJCAI, 2017)

The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding. - Franz Baader; Daniel Borchmann; Adrian Nuradiansyah (JIST, 2017)

Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. - Franz Baader; Oliver Fernandez Gil; Pavlos Marantidis (LATA, 2017)

Decidability and complexity of threshold description logics induced by concept similarity measures. - Franz Baader; Oliver Fernandez Gil (SAC, 2017)

Decidability and Complexity of Fuzzy Description Logics. - Franz Baader; Stefan Borgwardt; Rafael Peñaloza (Künstliche Intell., 2017)

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. - Franz Baader; Oliver Fernandez Gil; Maximilian Pensel (Description Logics, 2018)

Making Repairs in Description Logics More Gentle (Extended Abstract). - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (Description Logics, 2018)

Towards Privacy-Preserving Ontology Publishing. - Franz Baader; Adrian Nuradiansyah (Description Logics, 2018)

Making Repairs in Description Logics More Gentle. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (KR, 2018)

Matching in the Description Logic FL0 with respect to General TBoxes. - Franz Baader; Oliver Fernandez Gil; Pavlos Marantidis (LPAR, 2018)

Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. - Franz Baader; Stefan Borgwardt; Walter Forkel (WWW (Companion Volume), 2018)

HQA18 Workshop Chairs' Welcome & Organization. - Franz Baader; Brigitte Grau; Yue Ma 009 (WWW (Companion Volume), 2018)

The Data Complexity of Answering Instance Queries in FL0. - Franz Baader; Pavlos Marantidis; Maximilian Pensel (WWW (Companion Volume), 2018)

Repairing Description Logic Ontologies by Weakening Axioms. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (CoRR, 2018)

A Hardware/Software Stack for Heterogeneous Systems. - Jerónimo Castrillón; Matthias Lieber; Sascha Klüppelholz; Marcus Völp; Nils Asmussen; Uwe Aßmann; Franz Baader; Christel Baier; Gerhard P. Fettweis; Jochen Fröhlich; Andrés Goens; Sebastian Haas; et al. (IEEE Trans. Multi Scale Comput. Syst., 2018)

Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. - Franz Baader; Bartosz Bednarczyk; Sebastian Rudolph (Description Logics, 2019)

Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). - Franz Baader; Oliver Fernández Gil; Pavlos Marantidis (Description Logics, 2019)

On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. - Franz Baader; Filippo De Bortoli (FroCos, 2019)

The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME. - Franz Baader; Andreas Ecke; Gabriele Kern-Isberner; Marco Wilhelm (FroCos, 2019)

Privacy-Preserving Ontology Publishing for EL Instance Stores. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah (JELIA, 2019)

Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. - Marco Wilhelm; Gabriele Kern-Isberner; Andreas Ecke; Franz Baader (JELIA, 2019)

Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. - Chao Xu; Walter Forkel; Stefan Borgwardt; Franz Baader; Beihai Zhou (JOWO, 2019)

Mixing Description Logics in Privacy-Preserving Ontology Publishing. - Franz Baader; Adrian Nuradiansyah (KI, 2019)

Expressive cardinality constraints on ALCSCC concepts. - Franz Baader (SAC, 2019)

Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. - Franz Baader; Deepak Kapur (IJCAR (1), 2020)

Description Logics with Concrete Domains and General Concept Inclusions Revisited. - Franz Baader; Jakub Rydval (IJCAR (1), 2020)

On the Complexity of Finding Good Proofs for Description Logic Entailments. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2020)

Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. - Christian Alrabbaa; Franz Baader; Raimund Dachselt; Tamara Flemisch; Patrick Koopmann (Description Logics, 2020)

Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). - Franz Baader; Filippo De Bortoli (Description Logics, 2020)

First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. - Franz Baader; Patrick Koopmann; Cesare Tinelli (Description Logics, 2020)

Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). - Franz Baader; Jakub Rydval (Description Logics, 2020)

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. - Franz Baader; Bartosz Bednarczyk; Sebastian Rudolph (ECAI, 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (LPAR, 2020)

Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (ISWC (1), 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2020)

Semantic Technologies for Situation Awareness. - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Veronika Thost; Anni-Yasmin Turhan (Künstliche Intell., 2020)

Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard. - Franz Baader; Clément Théron (Künstliche Intell., 2020)

Extensions of unification modulo ACUI. - Franz Baader; Pavlos Marantidis; Antoine Mottet; Alexander Okhotin (Math. Struct. Comput. Sci., 2020)

Metric Temporal Description Logics with Interval-Rigid Names. - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Ana Ozaki; Veronika Thost (ACM Trans. Comput. Log., 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2020)

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CADE, 2021)

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes. - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah (CADE, 2021)

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2021)

Restricted Unification in the DL FL0 (Extended Abstract). - Franz Baader; Oliver Fernández Gil; Maryam Rostamigiv (Description Logics, 2021)

Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (Description Logics, 2021)

Restricted Unification in the DL EL. - Franz Baader; Maryam Rostamigiv (Description Logics, 2021)

Restricted Unification in the DL ℱ0. - Franz Baader; Oliver Fernández Gil; Maryam Rostamigiv (FroCoS, 2021)

An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. - Franz Baader; Jakub Rydval (JELIA, 2021)

Safety of quantified ABoxes w.r.t. singleton εL policies. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (SAC, 2021)

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2021)

Evonne: Interactive Proof Visualization for Description Logics (System Description). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (IJCAR, 2022)

Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah (Description Logics, 2022)

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Description Logics, 2022)

Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes. - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah (ESWC, 2022)

Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. - Franz Baader; Francesco Kriegel (KR, 2022)

Error-Tolerant Reasoning in the Description Logic Eℒ Based on Optimal Repairs. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah (RuleML+RR, 2022)

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (CoRR, 2022)

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols. - Franz Baader; Deepak Kapur (J. Autom. Reason., 2022)

Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. - Franz Baader; Jakub Rydval (J. Autom. Reason., 2022)

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Theory Pract. Log. Program., 2022)

Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (Zenodo, 2022)

Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). - Franz Baader (Description Logics, 2023)

On the Abstract Expressive Power of Description Logics with Concrete Domains. - Franz Baader; Filippo De Bortoli (Description Logics, 2023)

Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah (Description Logics, 2023)

Optimal Repairs in the Description Logic Eℒ Revisited. - Franz Baader; Patrick Koopmann; Francesco Kriegel (JELIA, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (RuleML+RR, 2023)

Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. - Franz Baader (SAC, 2023)

Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah (SAC, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. - Julián Méndez 001; Christian Alrabbaa; Patrick Koopmann; Ricardo Langner; Franz Baader; Raimund Dachselt (Comput. Graph. Forum, 2023)

Unification in ℰℒℋℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract). - Franz Baader; Oliver Fernández Gil (Description Logics, 2024)

Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $ mathcal{E} mathcal{L}^ bot $ Ontologies. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah (FoIKS, 2024)

On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. - Franz Baader; Jürgen Giesl (FSCD, 2024)

Unification in the Description Logic ELHℛ+ Without the Top Concept Modulo Cycle-Restricted Ontologies. - Franz Baader; Oliver Fernández Gil (IJCAR (2), 2024)

Contractions Based on Optimal Repairs. - Franz Baader; Renata Wassermann (KR, 2024)

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. - Franz Baader; Filippo De Bortoli (SAC, 2024)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. - Franz Baader; Jürgen Giesl (CoRR, 2024)

Extending the description logic EL with threshold concepts induced by concept measures. - Franz Baader; Oliver Fernández Gil (Artif. Intell., 2024)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. - Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CADE, 2025)

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count. - Franz Baader; Anton Claußnitzer (FLAIRS, 2025)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. - Franz Baader; Oliver Fernández Gil (FSCD, 2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). - Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CoRR, 2025)