Franz Baader

发表

Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles

Franz Baader, 2003, IJCAI.

An Introduction to Description Logic by Franz Baader

Ian Horrocks, Franz Baader, Carsten Lutz, 2017 .

On the Decidability Status of Fuzzy AℒC$\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions

Rafael Peñaloza, Franz Baader, Stefan Borgwardt, 2015, J. Philos. Log..

Deduktion: von der Theorie zur Anwendung

Tobias Nipkow, Bernhard Beckert, Franz Baader, 2010, Informatik-Spektrum.

On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers

Franz Baader, Klaus U. Schulz, 1995, CP.

Reasoning in the EL Family of Description Logics

Ian Horrocks, Franz Baader, Carsten Lutz, 2017 .

Deciding the Word Problem in the Union of Equational Theories

Cesare Tinelli, Franz Baader, C. Tinelli, 1998, Inf. Comput..

Decidability and complexity of threshold description logics induced by concept similarity measures

Franz Baader, Oliver Fernandez Gil, 2017, SAC.

Unification Theory

Paliath Narendran, Wayne Snyder, Franz Baader, 2001, Handbook of Automated Reasoning.

The theory of idempotent semigroups is of unification type zero

Franz Baader, 2006, Journal of Automated Reasoning.

Integrating Description Logics and Action Formalisms: First Results

Franz Baader, Ulrike Sattler, Carsten Lutz, 2005, Description Logics.

Extensions of unification modulo ACUI

Alexander Okhotin, Franz Baader, Pavlos Marantidis, 2019, Mathematical Structures in Computer Science.

Description Logics for the Semantic Web

Ian Horrocks, Franz Baader, Ulrike Sattler, 2002, Künstliche Intell..

Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)

Franz Baader, Anni-Yasmin Turhan, Patrick Koopmann, 2017, Description Logics.

Extensions of Concept Languages for a Mechanical Engineering Application

Franz Baader, Philipp Hanschke, F. Baader, 1992, GWAI.

Qualifying Number Restrictions in Concept Languages

Franz Baader, Bernhard Hollunder, F. Baader, 1991, KR.

Pushing the EL Envelope Further

Franz Baader, Carsten Lutz, Sebastian Brandt, 2008, OWLED.

A Terminological Knowledge Representation System with Complete Inference Algorithms

Franz Baader, Bernhard Hollunder, 1991, PDK.

SI! Automata Can Show PSPACE Results for Description Logics

Rafael Peñaloza, Franz Baader, Jan Hladik, 2008, LATA.

Metric Temporal Description Logics with Interval-Rigid Names

Franz Baader, Patrick Koopmann, Stefan Borgwardt, 2017, Description Logics.

Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Franz Baader, 2007, RTA.

IJCAI-07 Reviewers

Wolfram Burgard, Olivier Buffet, Christian Balkenius, 2007, IJCAI.

Knowledge Representation in Process Engineering

Franz Baader, Ulrike Sattler, F. Baader, 1996, Description Logics.

Context-dependent views to axioms and consequences of Semantic Web ontologies

Rafael Peñaloza, Franz Baader, Martin Knechtel, 2012, J. Web Semant..

On the Relation between Conceptual Graphs and Description Logics

Franz Baader, Ralf Molitor, Stephan Tobies, 1998 .

Handbook of Knowledge Representation Edited Description Logics 3.1 Introduction

Ian Horrocks, Franz Baader, Ulrike Sattler, 2022 .

Unification theory

Franz Baader, Jörg H. Siekmann, J. Siekmann, 1986, Decis. Support Syst..

The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME

Gabriele Kern-Isberner, Franz Baader, Andreas Ecke, 2019, FroCos.

KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1996, CEUR Workshop Proceedings.

Unification in Varieties of Completely Regular Semigroups

Franz Baader, 1990, IWWERT.

A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method

Cesare Tinelli, Franz Baader, C. Tinelli, 1997, CADE.

Matching under Side Conditions in Description Logics

Ralf Küsters, Franz Baader, Sebastian Brandt, 2001, IJCAI.

Combination of Constraint Solving Techniques: An Algebraic POint of View

Franz Baader, Klaus U. Schulz, 1995, RTA.

A Semantics for Open Normal Defaults via a Modified Preferential Approach

Karl Schlechta, Franz Baader, F. Baader, 1993, ECSQARU.

Unifikation und Reduktionssysteme für Halbgruppenvarietäten

Franz Baader, 1989 .

Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols

Franz Baader, Deepak Kapur, D. Kapur, 2020, IJCAR.

Computing Minimal EL-unifiers is Hard

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2012, Advances in Modal Logic.

Reasoning and representation with concept languages (tutorial)

Werner Nutt, Bernhard Nebel, Gert Smolka, 1990 .

Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts

Franz Baader, Andreas Ecke, F. Baader, 2017, GCAI.

Matching Trace Patterns with Regular Policies

Franz Baader, Andreas Bauer, Alwen Tiu, 2009, LATA.

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report) pdf

Franz Baader, Patrick Koopmann, Stefan Borgwardt, 2020, LPAR.

07401 Abstracts Collection -- Deduction and Decision Procedures

Jürgen Giesl, Franz Baader, Robert Nieuwenhuis, 2007, Deduction and Decision Procedures.

Expressive Number Restrictions in Description Logics

Franz Baader, Ulrike Sattler, F. Baader, 1999, J. Log. Comput..

Temporalizing Ontology-Based Data Access

Franz Baader, Stefan Borgwardt, Marcel Lippmann, 2013, CADE.

A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL

Franz Baader, 2004, WG.

Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions

Ralf Küsters, Franz Baader, F. Baader, 1998, KI.

Comparison of two Semantic Approaches to Unification

Franz Baader, Martin Leucker, 1998 .

On the Problem of Computing Small Representations of Least Common Subsumers

Franz Baader, Anni-Yasmin Turhan, 2002, KI.

Computing Least Common Subsumers in Description Logics with Existential Restrictions

Ralf Küsters, Franz Baader, Ralf Molitor, 1999, IJCAI.

Combination of Constraint Solvers for Free and Quasi-Free Structures

Franz Baader, Klaus U. Schulz, F. Baader, 1998, Theor. Comput. Sci..

Runtime Verification Using a Temporal Description Logic

Franz Baader, Andreas Bauer, Marcel Lippmann, 2009, FroCoS.

Combination problems for commutative/monoidal theories or how algebra can help in equational unification

Werner Nutt, Franz Baader, 2005, Applicable Algebra in Engineering, Communication and Computing.

Description Logics with Concrete Domains and Aggregation

Franz Baader, Ulrike Sattler, 1998, ECAI.

05431 Executive Summary - Deduction and Applications

Peter Baumgartner, Franz Baader, Andrei Voronkov, 2005, Deduction and Applications.

Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1996, CEUR Workshop Proceedings.

Approximate Unification in the Description Logic FL_0

Alexander Okhotin, Franz Baader, Pavlos Marantidis, 2016, JELIA.

Dismatching and Local Disunification in EL (Extended Abstract)

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2015, Description Logics.

Tableau Algorithms for Description Logics

Franz Baader, F. Baader, 2000, TABLEAUX.

Connecting many-sorted theories

Franz Baader, Silvio Ghilardi, F. Baader, 2005, Journal of Symbolic Logic.

An Introduction to Description Logic

Ian Horrocks, Franz Baader, Ulrike Sattler, 2017 .

Working notes of the KI'95 Workshop : KRDB-95 - Reasoning about structured objects : knowledge representation meets databases ; Bielefeld, Germany, Sept. 11-12, 1995

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1995 .

LTL over description logic axioms

Franz Baader, Carsten Lutz, Silvio Ghilardi, 2008, TOCL.

Intelligent access to heterogeneous information sources: report on the 4th workshop on knowledge representation meets databases

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1997, SGMD.

Embedding defaults into terminological knowledge representation formalisms

Franz Baader, Bernhard Hollunder, F. Baader, 1995, Journal of Automated Reasoning.

Hybrid EL-Unification is NP-complete

Franz Baader, Oliver Fernandez Gil, Barbara Morawska, 2013, Description Logics.

Reasoning Support for Ontology Design

Franz Baader, Sergio Tessaris, Ulrike Sattler, 2006, OWLED.

A Hardware/Software Stack for Heterogeneous Systems

Gerhard Fettweis, Christel Baier, Wolfgang Lehner, 2018, IEEE Transactions on Multi-Scale Computing Systems.

Blocking Automata for PSPACE DLs

Rafael Peñaloza, Franz Baader, Jan Hladik, 2007, Description Logics.

Terminologische Logiken

Werner Nutt, Franz Baader, Bernhard Hollunder, 1992, Künstliche Intell..

Description Logics That Count, and What They Can and Cannot Count (Extended Abstract)

Franz Baader, Filippo De Bortoli, 2020, Description Logics.

Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

Franz Baader, Bernhard Hollunder, F. Baader, 1995, Journal of Automated Reasoning.

Query Answering over DL ABoxes: How to Pick the Relevant Symbols

Franz Baader, Carsten Lutz, Frank Wolter, 2009, Description Logics.

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

Franz Baader, Hongkai Liu, Marcel Lippmann, 2010, LPAR.

A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2012, Australasian Conference on Artificial Intelligence.

First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions

Cesare Tinelli, Franz Baader, Patrick Koopmann, 2020, Description Logics.

Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators

Kent A. Spackman, Franz Baader, Stefan Schulz, 2007, AIME.

Putting ABox Updates into Action

Michael Thielscher, Franz Baader, Uwe Petersohn, 2009, FroCoS.

Deduction and applications

Peter Baumgartner, Franz Baader, Andrei Voronkov, 2006 .

AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems

Alfred Kobsa, Franz Baader, Hans-Jürgen Profitlich, 1991, Künstliche Intell..

Tutorial on Reasoning and Representation with Concept Languages

Werner Nutt, Bernhard Nebel, Gert Smolka, 1990, CADE.

Joint German/Austrian conference on artificial intelligence (KI-2001)

Franz Baader, Thomas Eiter, Gerhard Brewka, 2002 .

Proceedings of the 18th international conference on Term rewriting and applications

Franz Baader, 2007 .

Invited Talks

Georg Gottlob, Sheila A. McIlraith, Anthony G. Cohn, 2014, KR.

Matching Concept Descriptions with Existential Restrictions

Ralf Küsters, Franz Baader, F. Baader, 2000, KR.

The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics

Franz Baader, 2003, KI.

Terminological Knowledge Representation: A Proposal for a Terminological Logic

Werner Nutt, Bernhard Nebel, Franz Baader, 1991, Description Logics.

Matching in Description Logics

Deborah L. McGuinness, Alexander Borgida, Ralf Küsters, 1999, J. Log. Comput..

Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering

Franz Baader, Walter Forkel, Stefan Borgwardt, 2018, WWW.

Automata-Based Axiom Pinpointing

Rafael Peñaloza, Franz Baader, 2008, IJCAR.

Are fuzzy description logics with general concept inclusion axioms decidable?

Rafael Peñaloza, Franz Baader, F. Baader, 2011, 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011).

Deduction and Decision Procedures, 30.09. - 05.10.2007

Franz Baader, Robert Nieuwenhuis, Byron Cook, 2007, Deduction and Decision Procedures.

Usability Issues in Description Logic Knowledge Base Completion

Franz Baader, Baris Sertkaya, F. Baader, 2009, ICFCA.

Formalizing biomedical concepts from textual definitions

Franz Baader, Michael Schroeder, Yue Ma, 2015, J. Biomed. Semant..

The description logic handbook: theory

Diego Calvanese, Peter F. Patel-Schneider, Deborah L. McGuinness, 2003 .

Preface to Special Issue on Reasoning in Description Logics

Franz Baader, 2007, Journal of Automated Reasoning.

Engineering of Logics for the Content-Based Representation of Information

Franz Baader, 2002, RTA.

Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics

Mikhail Soutchanski, Franz Baader, Hongkai Liu, 2012, Description Logics.

On the Complexity of Finding Good Proofs for Description Logic Entailments

Franz Baader, Patrick Koopmann, Stefan Borgwardt, 2020, Description Logics.

Frontiers of Combining Systems: First International Workshop, Munich, March 1996

Franz Baader, Klaus U. Schulz, 1996 .

Unification of Concept Terms in Description Logics

Paliath Narendran, Franz Baader, P. Narendran, 2001, Description Logics.

Adding Threshold Concepts to the Description Logic EL

Franz Baader, Gerhard Brewka, Oliver Fernandez Gil, 2015, Description Logics.

How Pervasive Is the Myerson-Satterthwaite Impossibility?

Franz Baader, T. Sandholm, Abraham Othman, 2009, IJCAI.

Unification in Commutative Theories

Franz Baader, F. Baader, 1989, J. Symb. Comput..

Query Rewriting for DL-Lite with n-ary Concrete Domains

Franz Baader, Stefan Borgwardt, Marcel Lippmann, 2017, IJCAI.

What’s new in Description Logics

Franz Baader, F. Baader, 2011, Informatik-Spektrum.

A Formal Definition for the Expressive Power of Knowledge Representation Languages

Franz Baader, 1990, ECAI.

Basic Description Logics

Werner Nutt, Franz Baader, F. Baader, 2003, Description Logic Handbook.

CEL — A Short System Demonstration ∗

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn, 2006 .

Unification in a Description Logic with Transitive Closure of Roles

Ralf Küsters, Franz Baader, 2001, LPAR.

Automata-Based Axiom Pinpointing

Rafael Peñaloza, Franz Baader, 2010, Journal of Automated Reasoning.

Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints

Alexander Okhotin, Franz Baader, 2012, LPAR.

Combining Constraint Solving

Franz Baader, Klaus U. Schulz, F. Baader, 2001, CCL.

Semantic Technologies for Situation Awareness

Franz Baader, Anni-Yasmin Turhan, Patrick Koopmann, 2020, KI - Künstliche Intelligenz.

Intelligent access to heterogeneous information sources

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1997, SIGMOD 1997.

Appendix: description logic terminology

Franz Baader, 2003 .

"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht

Werner Nutt, Bernhard Nebel, Franz Baader, 1993, Künstliche Intell..

The Data Complexity of Answering Instance Queries in FL0

Franz Baader, Pavlos Marantidis, Maximilian Pensel, 2018, WWW.

Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Franz Baader, 2003 .

Description Logics as Ontology Languages for the Semantic Web

Ian Horrocks, Franz Baader, Ulrike Sattler, 2005, Mechanizing Mathematical Reasoning.

Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles

Franz Baader, 2003, Description Logics.

Pinpointing in the Description Logic EL

Rafael Peñaloza, Franz Baader, Boontawee Suntisrivaraporn, 2007, Description Logics.

Ontology Languages and Applications

Ian Horrocks, Franz Baader, Carsten Lutz, 2017 .

Description Logics with Concrete Domains and General Concept Inclusions Revisited

Franz Baader, Jakub Rydval, 2020, Description Logics.

Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

Franz Baader, 1993, JACM.

Small is Again Beautiful in Description Logics

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan, 2010, KI - Künstliche Intelligenz.

KI 2001: Advances in Artificial Intelligence

Franz Baader, Thomas Eiter, Gerhard Brewka, 2001, Lecture Notes in Computer Science.

A Multi-Dimensional Terminological Knowledge Representation Language

Franz Baader, Hans Jürgen Ohlbach, Hans Juürgen Ohlbach, 1993, IJCAI.

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints pdf

Sebastian Rudolph, Franz Baader, Bartosz Bednarczyk, 2020, ECAI.

Efficient Reasoning in EL+

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn, 2006, Description Logics.

An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On

Bernhard Nebel, Franz Baader, Enrico Franconi, 1992, KR.

Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles

Franz Baader, 1991, IJCAI.

Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints

Sebastian Rudolph, Franz Baader, Bartosz Bednarczyk, 2019, Description Logics.

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2012, Description Logics.

Rewriting Concepts Using Terminologies

Ralf Küsters, Franz Baader, Ralf Molitor, 2000, KR.

Combining Decision Procedures for Positive Theories Sharing Constructors

Cesare Tinelli, Franz Baader, C. Tinelli, 2002, RTA.

Learning Formal Definitions for Biomedical Concepts

Franz Baader, Michael Schroeder, Yue Ma, 2013, OWLED.

Combining Equational Theories Sharing Non-Collapse-Free Constructors

Cesare Tinelli, Franz Baader, C. Tinelli, 2000, FroCoS.

A Finite Basis for the Set of EL-Implications Holding in a Finite Model

Franz Baader, Felix Distel, F. Baader, 2008, ICFCA.

On the Relation between Descripion Logics and Conceptual Graphs

Franz Baader, Stephan Tobies, Ralf Molitor, 1998 .

19th International Conference on Automated Deduction (CADE-19)

Franz Baader, 2005, Inf. Comput..

Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects : knowledge representation meets databases ; Saarbrücken, September 20-22, 1994

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1994 .

Counting Strategies for the Probabilistic Description Logic ALC^\mathsf ME Under the Principle of Maximum Entropy

Gabriele Kern-Isberner, Franz Baader, Andreas Ecke, 2019, JELIA.

Heterogeneous information resources need semantic access

Dieter Fensel, Franz Baader, Holger Wache, 2001, Data Knowl. Eng..

Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles

Franz Baader, Stefan Borgwardt, Marcel Lippmann, 2015, Australasian Conference on Artificial Intelligence.

Description Logics with Aggregates and Concrete Domains

Franz Baader, Ulrike Sattler, 1997, Description Logics.

On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm

Rafael Peñaloza, Franz Baader, F. Baader, 2011, FroCoS.

The Description Logic Handbook

Diego Calvanese, Peter F. Patel-Schneider, Deborah L. McGuinness, 2007 .

Applying Formal Concept Analysis to Description Logics

Franz Baader, Baris Sertkaya, F. Baader, 2004, ICFCA.

Characterization of Unification Type Zero

Franz Baader, F. Baader, 1989, RTA.

Deduction and Applications, 23.-28. October 2005

Peter Baumgartner, Franz Baader, Robert Nieuwenhuis, 2006, Deduction and Applications.

Cyclic, Transitive, and Concrete Extensions of Concept Languages

Franz Baader, 1991, Description Logics.

A Description Logic Based Approach to Reasoning about Web Services

Franz Baader, Ulrike Sattler, Carsten Lutz, 2005, WWW 2005.

Unification in modal and description logics

Franz Baader, Silvio Ghilardi, F. Baader, 2011, Log. J. IGPL.

Using automata theory for characterizing the semantics of terminological cycles

Franz Baader, F. Baader, 1996, Annals of Mathematics and Artificial Intelligence.

The Description Logic Handbook: Theory, Implementation, and Applications

Diego Calvanese, Peter F. Patel-Schneider, Deborah L. McGuinness, 2003, Description Logic Handbook.

Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)

Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis, 2019, Description Logics.

How to Prefer More Specific Defaults in Terminological Default Logic

Franz Baader, Bernhard Hollunder, F. Baader, 1993, IJCAI.

On Language Equations with One-sided Concatenation

Alexander Okhotin, Franz Baader, F. Baader, 2013, Fundam. Informaticae.

Using Ontologies to Query Probabilistic Numerical Data

Franz Baader, Anni-Yasmin Turhan, Patrick Koopmann, 2017, FroCoS.

Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader, Andrei Voronkov, 2005, LPAR.

GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable

Rafael Peñaloza, Franz Baader, 2011, Description Logics.

Are Complete an Expressiv Terminological Systems Feasible?

Werner Nutt, Franz Baader, 1992, Description Logics.

On the expressivity of feature logics with negation, functional uncertainty, and sort equations

Werner Nutt, Bernhard Nebel, Gert Smolka, 1993, J. Log. Lang. Inf..

07401 Executive Summary -- Deduction and Decision Procedures

Jürgen Giesl, Franz Baader, Robert Nieuwenhuis, 2007, Deduction and Decision Procedures.

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

Franz Baader, Klaus U. Schulz, F. Baader, 1992, CADE.

A Note on Unification Type Zero

Franz Baader, 1988, Inf. Process. Lett..

Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems

Franz Baader, 1991, RTA.

Mixing Description Logics in Privacy-Preserving Ontology Publishing

Franz Baader, Adrian Nuradiansyah, 2019, KI.

Pushing the EL Envelope

Franz Baader, Carsten Lutz, Sebastian Brandt, 2005, IJCAI.

Am empirical analysis of optimization techniques for terminological representation systems

Bernhard Nebel, Franz Baader, Enrico Franconi, 1994, Applied Intelligence.

Proceedings of the Workshop on Knowledge Representation and Configuration, WRKP'96

Werner Nutt, Franz Baader, Andreas Günter, 1996 .

Runtime verification using the temporal description logic ALC-LTL revisited

Franz Baader, Marcel Lippmann, 2014, J. Appl. Log..

Nonstandard Inferences in Description Logics: The Story So Far

Ralf Küsters, Franz Baader, F. Baader, 2006 .

Tractable and Decidable Fragments of Conceptual Graphs

Franz Baader, Stephan Tobies, Ralf Molitor, 1999, ICCS.

Logik-basierte Wissensrepräsentation

Franz Baader, Franz Baader, 1996, Künstliche Intell..

Preliminary Results on the Identity Problem in Description Logic Ontologies

Franz Baader, Daniel Borchmann, Adrian Nuradiansyah, 2017, Description Logics.

Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1997, CEUR Workshop Proceedings.

Overview: KRDB'95

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1995, KRDB.

Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+

Franz Baader, Boontawee Suntisrivaraporn, F. Baader, 2008, KR-MED.

Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies

Ralf Küsters, Franz Baader, 1998, Description Logics.

A Scheme for Integrating Concrete Domains into Concept Languages

Franz Baader, Philipp Hanschke, F. Baader, 1991, IJCAI.

TBoxes do not Yield a Compact Representation of Least Common Subsumers

Franz Baader, Anni-Yasmin Turhan, 2001, Description Logics.

Axiom Pinpointing in General Tableaux

Rafael Peñaloza, Franz Baader, 2007, TABLEAUX.

A new n-ary existential quantifier in description logics

Franz Baader, Carsten Lutz, Manfred Theißen, 2005, Description Logics.

International Workshop on Description Logics

Werner Nutt, Maurizio Lenzerini, Peter F. Patel-Schneider, 1994 .

The Description Logic Handbook

Diego Calvanese, Peter F. Patel-Schneider, Deborah L. McGuinness, 2007 .

A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms

Rafael Peñaloza, Franz Baader, Martin Knechtel, 2009, International Semantic Web Conference.

A Novel Architecture for Situation Awareness Systems

Peter Baumgartner, Alfredo Gabaldon, Kevin Lee, 2009, TABLEAUX.

Description Logics

Ian Horrocks, Franz Baader, Ulrike Sattler, 2008, Handbook of Knowledge Representation.

Structural Subsumption Considered from an Automata-Theoretic Point of View

Ralf Küsters, Franz Baader, Ralf Molitor, 1998, Description Logics.

Hybrid Unification in the Description Logic EL

Franz Baader, Oliver Fernandez Gil, Barbara Morawska, 2013, UNIF@RTA/TLCA.

Description Logics with Symbolic Number Restrictions

Franz Baader, Ulrike Sattler, 1996, ECAI.

Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence

Franz Baader, Thomas Eiter, Gerhard Brewka, 2001 .

Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair

Franz Baader, Raimund Dachselt, Patrick Koopmann, 2020, Description Logics.

Completing Description Logic Knowledge Bases Using Formal Concept Analysis

Bernhard Ganter, Franz Baader, Ulrike Sattler, 2007, IJCAI.

Matching with Respect to General Concept Inclusions in the Description Logic EL

Franz Baader, Barbara Morawska, 2014, Description Logics.

Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification

Werner Nutt, Franz Baader, 1991, RTA.

A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes

Franz Baader, Boontawee Suntisrivaraporn, Novak Novakovik, 2008, Description Logics.

UEL: Unification Solver for EL

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2012, Description Logics.

Extending Unification in EL Towards General TBoxes

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2012, KR.

Making Repairs in Description Logics More Gentle

Rafael Peñaloza, Franz Baader, Francesco Kriegel, 2018, KR.

Hybrid Unification in the Description Logic

Franz Baader, Oliver Fernandez Gil, Barbara Morawska, 2013, FroCos.

Terminological Cycles in KL-ONE-based Knowledge Representation Languages

Franz Baader, F. Baader, 1990, AAAI.

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, 2020, KI - Künstliche Intelligenz.

Number Restrictions on Complex Roles in Description Logics: A Preliminary Report

Franz Baader, Ulrike Sattler, F. Baader, 1996, KR.

Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008

Boris Motik, Franz Baader, Carsten Lutz, 2008, Description Logics.

SAT Encoding of Unification in EL

Franz Baader, Barbara Morawska, 2010, LPAR.

Logic-Based Knowledge Representation

Franz Baader, F. Baader, 1999, Artificial Intelligence Today.

The Inverse Method Implements the Automata Approach for Modal Satisfiability pdf

Franz Baader, Stephan Tobies, F. Baader, 2001, IJCAR.

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata

Franz Baader, Oliver Fernandez Gil, Maximilian Pensel, 2018, Description Logics.

Reasoning in DLs with Tableau Algorithms

Ian Horrocks, Franz Baader, Carsten Lutz, 2017 .

Query and Predicate Emptiness in Description Logics

Franz Baader, Carsten Lutz, Frank Wolter, 2010, KR.

UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description

Franz Baader, Barbara Morawska, Julian Mendez, 2012, IJCAR.

Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata

Franz Baader, Andreas Ecke, F. Baader, 2016, LATA.

Computing the Least Common Subsumer w.r.t. a Background Terminology

Franz Baader, Anni-Yasmin Turhan, Baris Sertkaya, 2004, Description Logics.

Belief Change in Reasoning Agents

Dongmo Zhang, Michael Thielscher, Franz Baader, 2007 .

Connecting Many-Sorted Structures and Theories Through Adjoint Functions

Franz Baader, Silvio Ghilardi, F. Baader, 2005, FroCoS.

Unification in the Description Logic EL

Franz Baader, Barbara Morawska, 2009, RTA.

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

Franz Baader, Klaus U. Schulz, 1992, CADE.

Term rewriting and all that

Tobias Nipkow, Franz Baader, T. Nipkow, 1998 .

Engineering of Logics for the Content-Based Representation of Information

Franz Baader, 2004, JELIA.

Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis

Franz Baader, Ralf Molitor, F. Baader, 2000, ICCS.

SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions

Franz Baader, Stefan Schulz, Boontawee Suntisrivaraporn, 2007, MedInfo.

Making Repairs in Description Logics More Gentle (Extended Abstract)

Rafael Peñaloza, Franz Baader, Francesco Kriegel, 2018, Description Logics.

The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding

Franz Baader, Daniel Borchmann, Adrian Nuradiansyah, 2017, JIST.

Cardinality Restrictions on Concepts

Franz Baader, Bernhard Hollunder, Martin Buchheit, 1994, KI.

General A- and AX-Unification via Optimized

Franz Baader, Klaus U. Schulz, 1991, IWWERT.

Exploring Finite Models in the Description Logic

Franz Baader, Felix Distel, 2009, ICFCA.

Fusions of Description Logics

Franz Baader, Carsten Lutz, Frank Wolter, 2000, Description Logics.

Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn, 2005 .

Combination of compatible reduction orderings that are total on ground terms

Franz Baader, F. Baader, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

Expressive cardinality constraints on ALCSCC concepts

Franz Baader, 2019, SAC.

Terminological Logics with Modal Operators

Franz Baader, Armin Laux, F. Baader, 1995, IJCAI.

International Workshop on Description Logics : Bonn, May 28/29, 1994

Werner Nutt, Maurizio Lenzerini, Peter F. Patel-Schneider, 1994 .

SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2012, IJCAR.

Matching in Description Logics with Existential Restrictions

Ralf Küsters, Franz Baader, 1999, Description Logics.

Term Rewriting and All That by Franz Baader

Tobias Nipkow, Franz Baader, 1998 .

Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000

Franz Baader, Ulrike Sattler, 2000, Description Logics.

Description logic

Franz Baader, Carsten Lutz, F. Baader, 2007, Handbook of Modal Logic.

Reasoning about structured objects: Knowledge representation meets databases

Werner Nutt, Franz Baader, Manfred A. Jeusfeld, 1995, Knowl. Eng. Rev..

Fusions of Description Logics and Abstract Description Systems

Franz Baader, Carsten Lutz, Frank Wolter, 2011, J. Artif. Intell. Res..

Deciding the Word Problem in the Union of Equational Theories Sharing Constructors

Cesare Tinelli, Franz Baader, 1999, RTA.

Unification in the Description Logic EL without the Top Concept

Franz Baader, Stefan Borgwardt, Thanh Binh Nguyen, 2011, Description Logics.

Temporal query entailment in the Description Logic SHQ

Franz Baader, Stefan Borgwardt, Marcel Lippmann, 2015, J. Web Semant..

Description Logic Terminology

Franz Baader, 2003, Description Logic Handbook.

Cardinality Restrictions on Concepts

Franz Baader, Bernhard Hollunder, Martin Buchheit, 1994, KI.

Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics

Franz Baader, 2003, ICCS.

Decidability and Complexity of Fuzzy Description Logics

Rafael Peñaloza, Franz Baader, Stefan Borgwardt, 2016, KI - Künstliche Intelligenz.

CEL - A Polynomial-Time Reasoner for Life Science Ontologies

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn, 2006, IJCAR.

A Basic Description Logic

Ian Horrocks, Franz Baader, Carsten Lutz, 2017 .

Unification in the Description Logic EL

Franz Baader, Barbara Morawska, F. Baader, 2009, Description Logics.

Editorial

Franz Baader, Wolfgang Thomas, 2012, Informatik-Spektrum.

Automated Deduction – CADE-19

Franz Baader, F. Baader, 2003, Lecture Notes in Computer Science.

Unification Properties of Commutative Theories: A Categorical Treatment

Franz Baader, F. Baader, 1989, Category Theory and Computer Science.

Chair for Automata Theory LTCS – Report Pinpointing in Terminating Forest Tableaux

Rafael Peñaloza, Franz Baader, 2019 .

A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors

Franz Baader, 2017, FroCoS.

Concept Languages

Franz Baader, Bernhard Hollunder, 2009, Encyclopedia of Database Systems.

A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics

Cesare Tinelli, Franz Baader, Silvio Ghilardi, 2004, IJCAR.

SNOMED reaching its adolescence: Ontologists' and logicians' health check

Franz Baader, Stefan Schulz, Boontawee Suntisrivaraporn, 2009, Int. J. Medical Informatics.

A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages

Franz Baader, F. Baader, 1996, J. Log. Comput..

Towards Privacy-Preserving Ontology Publishing

Franz Baader, Adrian Nuradiansyah, 2018, Description Logics.

Repairing Description Logic Ontologies by Weakening Axioms pdf

Rafael Peñaloza, Franz Baader, Francesco Kriegel, 2018, ArXiv.

Dismatching and Local Disunification in EL

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2015, RTA.

05431 Abstracts Collection - Deduction and Applications

Peter Baumgartner, Franz Baader, Andrei Voronkov, 2005, Deduction and Applications.

The Description Logic Handbook: Preface

Diego Calvanese, Peter F. Patel-Schneider, Deborah L. McGuinness, 2007 .

KI 2001: advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings

Franz Baader, Thomas Eiter, Gerhard Brewka, 2001 .

Verification of Golog Programs over Description Logic Actions

Franz Baader, Benjamin Zarrieß, F. Baader, 2013, FroCos.

Matching in Description Logics: Preliminary Results

Deborah L. McGuinness, Alexander Borgida, Franz Baader, 1998, Description Logics.

KRIS: Knowledge Representation and Inference System

Franz Baader, Bernhard Hollunder, F. Baader, 1991, SGAR.

The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware

Gerhard Fettweis, Christel Baier, Wolfgang Lehner, 2016 .

Privacy-Preserving Ontology Publishing for EL Instance Stores

Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, 2019, JELIA.

Extensions to Description Logics

Ralf Küsters, Franz Baader, Frank Wolter, 2003, Description Logic Handbook.

Verifying Properties of Infinite Sequences of Description Logic Actions

Franz Baader, Anees Mehdi, Hongkai Liu, 2010, ECAI.

From Tableaux to Automata for Description Logics

Franz Baader, Jan Hladik, Carsten Lutz, 2003, Fundam. Informaticae.

Metric Temporal Description Logics with Interval-Rigid Names

Franz Baader, Stefan Borgwardt, Veronika Thost, 2020, ACM Trans. Comput. Log..

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor

Franz Baader, Stefan Borgwardt, Thanh Binh Nguyen, 2016, Notre Dame J. Formal Log..

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, 2017, LATA.

Combination Techniques and Decision Problems for Disunification

Franz Baader, Klaus U. Schulz, 1995, Theor. Comput. Sci..

Expressive cardinality restrictions on concepts in a description logic with expressive number restrictions

Franz Baader, F. Baader, 2019, SIAP.

Query and Predicate Emptiness in Ontology-Based Data Access

Franz Baader, Carsten Lutz, Frank Wolter, 2016, J. Artif. Intell. Res..

Computing Extensions of Terminological Default Theories

Franz Baader, Bernhard Hollunder, F. Baader, 1992, ECAI Workshop on Knowledge Representation and Reasoning.

Ontology-Based Monitoring of Dynamic Systems

Franz Baader, 2014, KR.

On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

Franz Baader, Filippo De Bortoli, F. Baader, 2019, FroCos.

Unification in a Description Logic with Inconsistency and Transitive Closure of Roles

Ralf Küsters, Franz Baader, F. Baader, 2002, Description Logics.

On the Complexity of Boolean Unification

Franz Baader, 1998, Inf. Process. Lett..

Axiom Pinpointing in General Tableaux

Rafael Peñaloza, Franz Baader, F. Baader, 2007, TABLEAUX.

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2016, Log. Methods Comput. Sci..

Computing the Least Common Subsumer w.r.t. a Background Terminology

Franz Baader, Anni-Yasmin Turhan, Baris Sertkaya, 2004, Description Logics.

An Overview of Tableau Algorithms for Description Logics

Franz Baader, Ulrike Sattler, F. Baader, 2001, Stud Logica.

Combination Techniques and Decision Problems for Disunification

Franz Baader, Klaus U. Schulz, 1993, RTA.

Extending the Description Logic with Acyclic TBoxes

Franz Baader, Oliver Fernandez Gil, 2016, ECAI.

Description Logics

Franz Baader, 2009, Reasoning Web.

Recent Advances in Unification for the EL Family

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2012, UNIF.

Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries

Franz Baader, Walter Forkel, Stefan Borgwardt, 2019, JOWO.

Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies

Franz Baader, Francesco Kriegel, Rafael, 2020, SEMWEB.

Unification in Commutative Idempotent Monoids

Franz Baader, Wolfram Büttner, 1988, Theor. Comput. Sci..

A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics

Cesare Tinelli, Franz Baader, Silvio Ghilardi, 2004, IJCAR.

Rewrite Systems for Varieties of Semigroups

Franz Baader, 1990, CADE.

HQA18 Workshop Chairs' Welcome & Organization

Franz Baader, Yue Ma, Brigitte Grau, 2018, WWW.

Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox

Rafael Peñaloza, Franz Baader, Patrick Koopmann, 2021, Description Logics.

Restricted Unification in the DL FL0 (Extended Abstract)

Franz Baader, Maryam Rostamigiv, Oliver Fernández Gil, 2021, Description Logics.

Restricted Unification in the DL EL

Franz Baader, Maryam Rostamigiv, Oliver Fernández Gil, 2021, Description Logics.

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner pdf

Franz Baader, Anni-Yasmin Turhan, Patrick Koopmann, 2021, Theory Pract. Log. Program..

An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics

Franz Baader, Jakub Rydval, F. Baader, 2021, JELIA.

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)

Franz Baader, Patrick Koopmann, Stefan Borgwardt, 2021, Description Logics.

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

Franz Baader, Patrick Koopmann, Stefan Borgwardt, 2021, CADE.

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes

Franz Baader, Patrick Koopmann, Francesco Kriegel, 2021, CADE.

Using Ontologies to Query Probabilistic Numerical Data ( Extended Version )

Franz Baader, Anni-Yasmin Turhan, Patrick Koopmann, 2017 .

Chair for Automata Theory LTCS – Report On the Complexity of Temporal Query Answering

Franz Baader, Stefan Borgwardt, Marcel Lippmann, 2013 .

Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles

Franz Baader, Stefan Borgwardt, Marcel Lippmann, 2015 .

Rewriting Concepts Using Terminologies Revisited

Franz Baader, Ralf Molitor, R. Kuesters, 2000 .

Complexity of language equations with one-sided concatenation and all Boolean operations

Alexander Okhotin, Franz Baader, 2007 .

SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies

Franz Baader, Stefan Borgwardt, Barbara Morawska, 2012, IJCAR.

Extending the Description Logic τEL(deg) with Acyclic TBoxes

Franz Baader, Oliver Fernández Gil, F. Baader, 2016 .

Connecting many-sorted theories

Franz Baader, Silvio Ghilardi, 2007, Journal of Symbolic Logic.

Chair for Automata Theory LTCS – Report Concept Descriptions with Set Constraints and Cardinality Constraints

Franz Baader, 2017 .

The Guarded Fragment of Conceptual Graphs

Franz Baader, Stephan Tobies, Ralf Molitor, 1998 .

De iding the Word Problem in the Union ofEquational Theories Sharing Constru tors

Cesare Tinelli, Franz Baader, 1999 .

An Overview of Tableau Algorithms for Description

Franz Baader, Ulrike Sattler, 2001 .

A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies

Franz Baader, Stefan Borgwardt, Barbara Morawska, .

Unification in varieties of idempotent semigroups

Franz Baader, 1987 .