Franz Baader - RankMe

356 papers A* 29A 26B 25C 10Misc 20Journal 84Unranked 136

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers. FoIKS Franz Baader
2026	J	`jnl`	The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories. CoRR Franz Baader, Oliver Fernández Gil
2025	—	`conf`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract). DL Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	J	`jnl`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). CoRR Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	A	`conf`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. CADE Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	A*	`conf`	Contractions Based on Optimal Repairs (Extended Abstract). IJCAI Franz Baader, Renata Wassermann
2025	C	`conf`	Gärdenfors's Supplementary Postulates for Partial Product Contractions. ECSQARU Franz Baader, Renata Wassermann
2025	—	`conf`	Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract). DL Franz Baader, Anton Claußnitzer
2025	Misc	`conf`	Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count. FLAIRS Franz Baader, Anton Claußnitzer
2025	J	`jnl`	Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. Log. Methods Comput. Sci. Franz Baader, Jürgen Giesl
2025	—	`conf`	The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract). DL Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova, Julián Méndez
2025	—	`conf`	The Concrete Evonne: Visualization Meets Concrete Domain Reasoning. FroCoS Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova, Julián Méndez
2025	—	`conf`	The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models. FroCoS Franz Baader, Filippo De Bortoli
2025	B	`conf`	The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. FSCD Franz Baader, Oliver Fernández Gil
2024	A*	`conf`	Contractions Based on Optimal Repairs. KR Franz Baader, Renata Wassermann
2024	J	`jnl`	Extending the description logic EL with threshold concepts induced by concept measures. Artif. Intell. Franz Baader, Oliver Fernández Gil
2024	—	`conf`	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. FoIKS Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2024	B	`conf`	On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. FSCD Franz Baader, Jürgen Giesl
2024	J	`jnl`	Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. CoRR Franz Baader, Jürgen Giesl
2024	Misc	`conf`	The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. SAC Franz Baader, Filippo De Bortoli
2024	—	`conf`	Unification in the Description Logic IJCAR (2) Franz Baader, Oliver Fernández Gil
2024	—	`conf`	Unification in ℰℒℋ Description Logics Franz Baader, Oliver Fernández Gil
2023	J	`jnl`	Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2023	B	`conf`	Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2023	—	`conf`	Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). Description Logics Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2023	J	`jnl`	Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. Comput. Graph. Forum Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt
2023	—	`conf`	On the Abstract Expressive Power of Description Logics with Concrete Domains. Description Logics Franz Baader, Filippo De Bortoli
2023	—	`conf`	Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). Description Logics Franz Baader
2023	Misc	`conf`	Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. SAC Franz Baader
2023	B	`conf`	Optimal Repairs in the Description Logic JELIA Franz Baader, Patrick Koopmann, Francesco Kriegel
2023	Misc	`conf`	Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. SAC Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2022	J	`jnl`	Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols. J. Autom. Reason. Franz Baader, Deepak Kapur
2022	—	`conf`	Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2022	J	`jnl`	Efficient TBox Reasoning with Value Restrictions using the ℱℒ Theory Pract. Log. Program. Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2022	B	`conf`	Error-Tolerant Reasoning in the Description Logic RuleML+RR Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2022	J	`jnl`	Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
2022	A	`conf`	Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
2022	B	`conf`	Optimal ABox Repair w.r.t. Static ESWC Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2022	—	`conf`	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2022	A*	`conf`	Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. KR Franz Baader, Francesco Kriegel
2022	J	`jnl`	Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. J. Autom. Reason. Franz Baader, Jakub Rydval
2021	B	`conf`	An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. JELIA Franz Baader, Jakub Rydval
2021	A	`conf`	Computing Optimal Repairs of Quantified ABoxes w.r.t. Static CADE Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2021	J	`jnl`	Efficient TBox Reasoning with Value Restrictions using the ℱℒ CoRR Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2021	—	`conf`	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	J	`jnl`	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	A	`conf`	Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	—	`conf`	Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2021	—	`conf`	Restricted Unification in the DL EL. Description Logics Franz Baader, Maryam Rostamigiv
2021	—	`conf`	Restricted Unification in the DL FL0 (Extended Abstract). Description Logics Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
2021	—	`conf`	Restricted Unification in the DL ℱ FroCoS Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
2021	Misc	`conf`	Safety of quantified ABoxes w.r.t. singleton ε SAC Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2020	—	`conf`	Computing Compliant Anonymisations of Quantified ABoxes w.r.t. ISWC (1) Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2020	—	`conf`	Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. IJCAR (1) Franz Baader, Deepak Kapur
2020	—	`conf`	Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). Description Logics Franz Baader, Filippo De Bortoli
2020	—	`conf`	Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). Description Logics Franz Baader, Jakub Rydval
2020	—	`conf`	Description Logics with Concrete Domains and General Concept Inclusions Revisited. IJCAR (1) Franz Baader, Jakub Rydval
2020	J	`jnl`	Extensions of unification modulo ACUI. Math. Struct. Comput. Sci. Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin
2020	J	`jnl`	Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	B	`conf`	Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	—	`conf`	First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. Description Logics Franz Baader, Patrick Koopmann, Cesare Tinelli
2020	J	`jnl`	Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2020	—	`conf`	On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	J	`jnl`	Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard. Künstliche Intell. Franz Baader, Clément Théron
2020	A	`conf`	Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. ECAI Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
2020	J	`jnl`	Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. CoRR Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
2020	J	`jnl`	Semantic Technologies for Situation Awareness. Künstliche Intell. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
2020	—	`conf`	Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Description Logics Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann
2019	—	`conf`	Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. JOWO Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou
2019	B	`conf`	Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 JELIA Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader
2019	Misc	`conf`	Expressive cardinality constraints on SAC Franz Baader
2019	—	`conf`	Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Description Logics Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
2019	Misc	`conf`	Mixing Description Logics in Privacy-Preserving Ontology Publishing. KI Franz Baader, Adrian Nuradiansyah
2019	—	`conf`	On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. FroCos Franz Baader, Filippo De Bortoli
2019	B	`conf`	Privacy-Preserving Ontology Publishing for JELIA Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
2019	—	`conf`	Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
2019	—	`conf`	The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞 FroCos Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm
2018	J	`jnl`	A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 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, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
2018	—	`conf`	HQA18 Workshop Chairs' Welcome & Organization. WWW (Companion Volume) Franz Baader, Brigitte Grau, Yue Ma
2018	—	`conf`	Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	A*	`conf`	Making Repairs in Description Logics More Gentle. KR Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	B	`conf`	Matching in the Description Logic FL0 with respect to General TBoxes. LPAR Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis
2018	—	`conf`	Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. WWW (Companion Volume) Franz Baader, Stefan Borgwardt, Walter Forkel
2018	J	`jnl`	Repairing Description Logic Ontologies by Weakening Axioms. CoRR Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	—	`conf`	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Description Logics Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
2018	—	`conf`	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. GCAI Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
2018	—	`conf`	The Data Complexity of Answering Instance Queries in WWW (Companion Volume) Franz Baader, Pavlos Marantidis, Maximilian Pensel
2018	—	`conf`	Towards Privacy-Preserving Ontology Publishing. Description Logics Franz Baader, Adrian Nuradiansyah
2017	—	`conf`	A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. FroCoS Franz Baader
2017	—	`book`	An Introduction to Description Logic. Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2017	C	`conf`	Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in LATA Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis
2017	J	`jnl`	Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. Franz Baader, Stefan Borgwardt, Rafael Peñaloza
2017	Misc	`conf`	Decidability and complexity of threshold description logics induced by concept similarity measures. SAC Franz Baader, Oliver Fernandez Gil
2017	—	`conf`	Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. GCAI Franz Baader, Andreas Ecke
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names. FroCoS Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`conf`	Preliminary Results on the Identity Problem in Description Logic Ontologies. Description Logics Franz Baader, Daniel Borchmann, Adrian Nuradiansyah
2017	A*	`conf`	Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI Franz Baader, Stefan Borgwardt, Marcel Lippmann
2017	—	`conf`	The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding. JIST Franz Baader, Daniel Borchmann, Adrian Nuradiansyah
2017	—	`conf`	Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
2017	—	`conf`	Using Ontologies to Query Probabilistic Numerical Data. FroCoS Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
2016	B	`conf`	Approximate Unification in the Description Logic JELIA Franz Baader, Pavlos Marantidis, Alexander Okhotin
2016	—	`conf`	Approximately Solving Set Equations. UNIF Franz Baader, Pavlos Marantidis, Alexander Okhotin
2016	J	`jnl`	Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
2016	J	`jnl`	Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Log. Methods Comput. Sci. Franz Baader, Stefan Borgwardt, Barbara Morawska
2016	A	`conf`	Extending the Description Logic with Acyclic TBoxes. ECAI Franz Baader, Oliver Fernandez Gil
2016	J	`jnl`	Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2016	C	`conf`	Reasoning with Prototypes in the Description Logic LATA Franz Baader, Andreas Ecke
2016	—	`conf`	The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. UNIF Franz Baader, Pierre Ludmann
2015	—	`conf`	Adding Threshold Concepts to the Description Logic FroCos Franz Baader, Gerhard Brewka, Oliver Fernandez Gil
2015	—	`conf`	Adding Threshold Concepts to the Description Logic EL. Description Logics Oliver Fernandez Gil, Franz Baader, Gerhard Brewka
2015	—	`conf`	Dismatching and Local Disunification in EL (Extended Abstract). Description Logics Franz Baader, Stefan Borgwardt, Barbara Morawska
2015	—	`conf`	Dismatching and Local Disunification in EL. RTA Franz Baader, Stefan Borgwardt, Barbara Morawska
2015	J	`jnl`	Formalizing biomedical concepts from textual definitions. J. Biomed. Semant. Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder
2015	J	`jnl`	On the Decidability Status of Fuzzy ALC with General Concept Inclusions. J. Philos. Log. Franz Baader, Stefan Borgwardt, Rafael Peñaloza
2015	—	`conf`	Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence Franz Baader, Stefan Borgwardt, Marcel Lippmann
2015	J	`jnl`	Temporal query entailment in the Description Logic SHQ. J. Web Semant. Franz Baader, Stefan Borgwardt, Marcel Lippmann
2014	A*	`conf`	Invited Talks. KR Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith
2014	Misc	`conf`	Matching with Respect to General Concept Inclusions in the Description Logic KI Franz Baader, Barbara Morawska
2014	—	`conf`	Matching with Respect to General Concept Inclusions in the Description Logic EL. Description Logics Franz Baader, Barbara Morawska
2014	—	`conf`	Matching with respect to general concept inclusions in the Description Logic EL. UNIF Franz Baader, Barbara Morawska
2014	A*	`conf`	Ontology-Based Monitoring of Dynamic Systems. KR Franz Baader
2014	J	`jnl`	Runtime verification using the temporal description logic ALC-LTL revisited. J. Appl. Log. Franz Baader, Marcel Lippmann
2013	—	`conf`	Hybrid EL-Unification is NP-complete. Description Logics Franz Baader, Oliver Fernandez Gil, Barbara Morawska
2013	—	`conf`	Hybrid Unification in the Description Logic EL. UNIF@RTA/TLCA Franz Baader, Oliver Fernandez Gil, Barbara Morawska
2013	—	`conf`	Hybrid Unification in the Description Logic. FroCos Franz Baader, Oliver Fernandez Gil, Barbara Morawska
2013	—	`conf`	Learning Formal Definitions for Biomedical Concepts. OWLED George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder
2013	J	`jnl`	On Language Equations with One-sided Concatenation. Fundam. Informaticae Franz Baader, Alexander Okhotin
2013	A	`conf`	Temporalizing Ontology-Based Data Access. CADE Franz Baader, Stefan Borgwardt, Marcel Lippmann
2013	—	`conf`	Verification of Golog Programs over Description Logic Actions. FroCos Franz Baader, Benjamin Zarrieß
2012	—	`conf`	A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	—	`conf`	A Goal-Oriented Algorithm for Unification in ℇℒℋ Australasian Conference on Artificial Intelligence Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	B	`conf`	Computing Minimal EL-unifiers is Hard. Advances in Modal Logic Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	J	`jnl`	Context-dependent views to axioms and consequences of Semantic Web ontologies. J. Web Semant. Franz Baader, Martin Knechtel, Rafael Peñaloza
2012	J	`jnl`	Editorial. Inform. Spektrum Franz Baader, Wolfgang Thomas
2012	—	`conf`	Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. Description Logics Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
2012	A*	`conf`	Extending Unification in EL Towards General TBoxes. KR Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	J	`jnl`	LTL over description logic axioms. ACM Trans. Comput. Log. Franz Baader, Silvio Ghilardi, Carsten Lutz
2012	—	`conf`	Recent Advances in Unification for the EL Family. UNIF Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	A	`conf`	SAT Encoding of Unification in ℇℒℋ IJCAR Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	B	`conf`	Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. LPAR Franz Baader, Alexander Okhotin
2012	—	`conf`	UEL: Unification Solver for EL. Description Logics Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska
2012	A	`conf`	UEL: Unification Solver for the Description Logic ℇℒ - System Description. IJCAR Franz Baader, Julian Mendez, Barbara Morawska
2011	B	`conf`	Are fuzzy description logics with general concept inclusion axioms decidable? FUZZ-IEEE Franz Baader, Rafael Peñaloza
2011	—	`conf`	Computing Local Unifiers in the Description Logic EL without the Top Concept. UNIF Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
2011	J	`jnl`	Fusions of Description Logics and Abstract Description Systems CoRR Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2011	—	`conf`	GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Description Logics Franz Baader, Rafael Peñaloza
2011	—	`conf`	On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. FroCoS Franz Baader, Rafael Peñaloza
2011	—	`ed.`	Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. UNIF Franz Baader, Barbara Morawska, Jan Otop
2011	J	`jnl`	Unification in modal and description logics. Log. J. IGPL Franz Baader, Silvio Ghilardi
2011	A	`conf`	Unification in the Description Logic CADE Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
2011	—	`conf`	Unification in the Description Logic EL without the Top Concept. Description Logics Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
2011	J	`jnl`	What's new in Description Logics. Inform. Spektrum Franz Baader
2010	J	`jnl`	Automata-Based Axiom Pinpointing. J. Autom. Reason. Franz Baader, Rafael Peñaloza
2010	J	`jnl`	Axiom Pinpointing in General Tableaux. J. Log. Comput. Franz Baader, Rafael Peñaloza
2010	J	`jnl`	Deduktion: von der Theorie zur Anwendung. Inform. Spektrum Franz Baader, Bernhard Beckert, Tobias Nipkow
2010	A*	`conf`	Query and Predicate Emptiness in Description Logics. KR Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2010	—	`conf`	SAT Encoding of Unification in LPAR (Yogyakarta) Franz Baader, Barbara Morawska
2010	J	`jnl`	Small is Again Beautiful in Description Logics. Künstliche Intell. Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
2010	J	`jnl`	Unification in the Description Logic EL Log. Methods Comput. Sci. Franz Baader, Barbara Morawska
2010	—	`conf`	Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. LPAR (Yogyakarta) Franz Baader, Marcel Lippmann, Hongkai Liu
2010	A	`conf`	Verifying Properties of Infinite Sequences of Description Logic Actions. ECAI Franz Baader, Hongkai Liu, Anees ul Mehdi
2009	Misc	`conf`	A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. ISWC Franz Baader, Martin Knechtel, Rafael Peñaloza
2009	B	`conf`	A Novel Architecture for Situation Awareness Systems. TABLEAUX Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
2009	—	`conf`	Description Logics. Reasoning Web Franz Baader
2009	—	`ch.`	Description Logics. Handbook on Ontologies Franz Baader, Ian Horrocks, Ulrike Sattler
2009	C	`conf`	Exploring Finite Models in the Description Logic . ICFCA Franz Baader, Felix Distel
2009	C	`conf`	Matching Trace Patterns with Regular Policies. LATA Franz Baader, Andreas Bauer, Alwen Tiu
2009	—	`conf`	Putting ABox Updates into Action. FroCoS Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
2009	—	`conf`	Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2009	—	`conf`	Runtime Verification Using a Temporal Description Logic. FroCoS Franz Baader, Andreas Bauer, Marcel Lippmann
2009	J	`jnl`	SNOMED reaching its adolescence: Ontologists' and logicians' health check. Int. J. Medical Informatics Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker
2009	—	`conf`	Unification in the Description Logic EL. Description Logics Franz Baader, Barbara Morawska
2009	—	`conf`	Unification in the Description Logic EL. RTA Franz Baader, Barbara Morawska
2009	C	`conf`	Usability Issues in Description Logic Knowledge Base Completion. ICFCA Franz Baader, Baris Sertkaya
2008	C	`conf`	A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ICFCA Franz Baader, Felix Distel
2008	—	`conf`	A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn
2008	J	`jnl`	Automata can show PSpace results for description logics. Inf. Comput. Franz Baader, Jan Hladik, Rafael Peñaloza
2008	A	`conf`	Automata-Based Axiom Pinpointing. IJCAR Franz Baader, Rafael Peñaloza
2008	—	`conf`	Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED Franz Baader, Boontawee Suntisrivaraporn
2008	—	`ch.`	Description Logics. Handbook of Knowledge Representation Franz Baader, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	LTL over Description Logic Axioms. Description Logics Franz Baader, Silvio Ghilardi, Carsten Lutz
2008	A*	`conf`	LTL over Description Logic Axioms. KR Franz Baader, Silvio Ghilardi, Carsten Lutz
2008	—	`conf`	Matching linear and non-linear trace patterns with regular policies. UNIF Franz Baader, Andreas Bauer, Alwen Tiu
2008	—	`ed.`	Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 Description Logics Franz Baader, Carsten Lutz, Boris Motik
2008	—	`conf`	Pushing the EL Envelope Further. OWLED (Spring) Franz Baader, Carsten Lutz, Sebastian Brandt
2008	—	`conf`	Unification in the Description Logic EL is of Type Zero. UNIF Franz Baader, Barbara Morawska
2007	—	`conf`	07401 Abstracts Collection -- Deduction and Decision Procedures. Deduction and Decision Procedures Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis
2007	—	`conf`	07401 Executive Summary -- Deduction and Decision Procedures. Deduction and Decision Procedures Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis
2007	B	`conf`	Axiom Pinpointing in General Tableaux. TABLEAUX Franz Baader, Rafael Peñaloza
2007	—	`conf`	Blocking Automata for PSPACE DLs. Description Logics Franz Baader, Jan Hladik, Rafael Peñaloza
2007	A*	`conf`	Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
2007	—	`conf`	Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
2007	J	`jnl`	Computing the least common subsumer w.r.t. a background terminology. J. Appl. Log. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
2007	J	`jnl`	Connecting many-sorted theories. J. Symb. Log. Franz Baader, Silvio Ghilardi
2007	—	`ed.`	Deduction and Decision Procedures, 30.09. - 05.10.2007 Deduction and Decision Procedures Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis
2007	—	`ch.`	Description logic. Handbook of Modal Logic Franz Baader, Carsten Lutz
2007	Misc	`conf`	Pinpointing in the Description Logic KI Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
2007	—	`conf`	Pinpointing in the Description Logic EL. Description Logics Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
2007	J	`jnl`	Preface to Special Issue on Reasoning in Description Logics. J. Autom. Reason. Franz Baader
2007	B	`conf`	Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman
2007	C	`conf`	SI! Automata Can Show PSPACE Results for Description Logics. LATA Franz Baader, Jan Hladik, Rafael Peñaloza
2007	—	`conf`	SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MedInfo Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader
2007	—	`ed.`	Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings RTA Franz Baader
2006	J	`jnl`	A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Inf. Comput. Franz Baader, Silvio Ghilardi, Cesare Tinelli
2006	A	`conf`	CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
2006	—	`ed.`	Deduction and Applications, 23.-28. October 2005 Deduction and Applications Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
2006	—	`conf`	Efficient Reasoning in Description Logics Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
2006	—	`conf`	Reasoning Support for Ontology Design. OWLED Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
2005	—	`conf`	05431 Abstracts Collection - Deduction and Applications. Deduction and Applications Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
2005	—	`conf`	05431 Executive Summary - Deduction and Applications. Deduction and Applications Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
2005	J	`jnl`	19th International Conference on Automated Deduction (CADE-19). Inf. Comput. Franz Baader
2005	Misc	`conf`	A New KI Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen
2005	—	`conf`	A new Description Logics Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
2005	—	`conf`	Connecting Many-Sorted Structures and Theories Through Adjoint Functions. FroCoS Franz Baader, Silvio Ghilardi
2005	A	`conf`	Connecting Many-Sorted Theories. CADE Franz Baader, Silvio Ghilardi
2005	—	`conf`	Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning Franz Baader, Ian Horrocks, Ulrike Sattler
2005	A*	`conf`	Integrating Description Logics and Action Formalisms: First Results. AAAI Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
2005	—	`conf`	Integrating Description Logics and Action Formalisms: First Results. Description Logics Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
2005	B	`ed.`	Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings LPAR Franz Baader, Andrei Voronkov
2005	A*	`conf`	Pushing the EL Envelope. IJCAI Franz Baader, Sebastian Brandt, Carsten Lutz
2004	B	`conf`	A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. WG Franz Baader
2004	A	`conf`	A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. IJCAR Franz Baader, Silvio Ghilardi, Cesare Tinelli
2004	C	`conf`	Applying Formal Concept Analysis to Description Logics. ICFCA Franz Baader, Baris Sertkaya
2004	—	`conf`	Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
2004	B	`conf`	Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
2004	—	`ch.`	Description Logics. Handbook on Ontologies Franz Baader, Ian Horrocks, Ulrike Sattler
2004	B	`conf`	Engineering of Logics for the Content-Based Representation of Information. JELIA Franz Baader
2004	J	`jnl`	The Inverse Method Implements the Automata Approach for Modal Satisfiability CoRR Franz Baader, Stephan Tobies
2003	A	`ed.`	Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings CADE Franz Baader
2003	—	`ch.`	Basic Description Logics. Description Logic Handbook Franz Baader, Werner Nutt
2003	Misc	`conf`	Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. ICCS Franz Baader
2003	—	`ch.`	Description Logic Terminology. Description Logic Handbook Franz Baader
2003	J	`jnl`	Description logics with aggregates and concrete domains. Inf. Syst. Franz Baader, Ulrike Sattler
2003	—	`ch.`	Extensions to Description Logics. Description Logic Handbook Franz Baader, Ralf Küsters, Frank Wolter
2003	B	`conf`	From Tableaux to Automata for Description Logics. LPAR Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
2003	J	`jnl`	From Tableaux to Automata for Description Logics. Fundam. Informaticae Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
2003	A*	`conf`	Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. IJCAI Franz Baader
2003	—	`conf`	Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. Description Logics Franz Baader
2003	A*	`conf`	Terminological Cycles in a Description Logic with Existential Restrictions. IJCAI Franz Baader
2003	—	`book`	The Description Logic Handbook: Theory, Implementation, and Applications Description Logic Handbook Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
2003	Misc	`conf`	The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. KI Franz Baader
2002	—	`conf`	Combining Decision Procedures for Positive Theories Sharing Constructors. RTA Franz Baader, Cesare Tinelli
2002	J	`jnl`	Deciding the Word Problem in the Union of Equational Theories. Inf. Comput. Franz Baader, Cesare Tinelli
2002	J	`jnl`	Description Logics for the Semantic Web. Künstliche Intell. Franz Baader, Ian Horrocks, Ulrike Sattler
2002	—	`conf`	Engineering of Logics for the Content-Based Representation of Information. RTA Franz Baader
2002	J	`jnl`	Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2002	Misc	`conf`	On the Problem of Computing Small Representations of Least Common Subsumers. KI Franz Baader, Anni-Yasmin Turhan
2002	—	`conf`	Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. Description Logics Franz Baader, Ralf Küsters
2001	J	`jnl`	An Overview of Tableau Algorithms for Description Logics. Stud Logica Franz Baader, Ulrike Sattler
2001	J	`jnl`	Heterogeneous information resources need semantic access. Data Knowl. Eng. Dieter Fensel, Franz Baader, Marie-Christine Rousset, Holger Wache
2001	—	`ed.`	KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings KI/ÖGAI Franz Baader, Gerhard Brewka, Thomas Eiter
2001	A*	`conf`	Matching under Side Conditions in Description Logics. IJCAI Franz Baader, Sebastian Brandt, Ralf Küsters
2001	—	`conf`	TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics Franz Baader, Anni-Yasmin Turhan
2001	A	`conf`	The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR Franz Baader, Stephan Tobies
2001	—	`ch.`	Unification Theory. Handbook of Automated Reasoning Franz Baader, Wayne Snyder
2001	—	`conf`	Unification in a Description Logic with Transitive Closure of Roles. Description Logics Franz Baader, Ralf Küsters
2001	B	`conf`	Unification in a Description Logic with Transitive Closure of Roles. LPAR Franz Baader, Ralf Küsters
2001	J	`jnl`	Unification of Concept Terms in Description Logics. J. Symb. Comput. Franz Baader, Paliath Narendran
2000	Misc	`conf`	Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. ICCS Franz Baader, Ralf Molitor
2000	—	`conf`	Combining Equational Theories Sharing Non-Collapse-Free Constructors. FroCoS Franz Baader, Cesare Tinelli
2000	—	`conf`	Fusions of Description Logics. Description Logics Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2000	A*	`conf`	Matching Concept Descriptions with Existential Restrictions. KR Franz Baader, Ralf Küsters
2000	—	`ed.`	Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 Description Logics Franz Baader, Ulrike Sattler
2000	A*	`conf`	Rewriting Concepts Using Terminologies. KR Franz Baader, Ralf Küsters, Ralf Molitor
2000	B	`conf`	Tableau Algorithms for Description Logics. TABLEAUX Franz Baader
1999	—	`conf`	Combining Constraint Solving. CCL Franz Baader, Klaus U. Schulz
1999	A*	`conf`	Computing Least Common Subsumers in Description Logics with Existential Restrictions. IJCAI Franz Baader, Ralf Küsters, Ralf Molitor
1999	—	`conf`	Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. RTA Franz Baader, Cesare Tinelli
1999	J	`jnl`	Expressive Number Restrictions in Description Logics. J. Log. Comput. Franz Baader, Ulrike Sattler
1999	—	`ch.`	Logic-Based Knowledge Representation. Artificial Intelligence Today Franz Baader
1999	—	`conf`	Matching in Description Logics with Existential Restrictions. Description Logics Franz Baader, Ralf Küsters
1999	J	`jnl`	Matching in Description Logics. J. Log. Comput. Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness
1999	—	`conf`	Rewriting in Description Logics Using Terminologies. Description Logics Franz Baader, Ralf Molitor
1999	Misc	`conf`	Tractable and Decidable Fragments of Conceptual Graphs. ICCS Franz Baader, Ralf Molitor, Stephan Tobies
1998	J	`jnl`	Combination of Constraint Solvers for Free and Quasi-Free Structures. Theor. Comput. Sci. Franz Baader, Klaus U. Schulz
1998	Misc	`conf`	Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. KI Franz Baader, Ralf Küsters
1998	A	`conf`	Description Logics with Concrete Domains and Aggregation. ECAI Franz Baader, Ulrike Sattler
1998	—	`conf`	Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. Description Logics Franz Baader, Ralf Küsters
1998	—	`conf`	Matching in Description Logics: Preliminary Results. Description Logics Franz Baader, Alexander Borgida, Deborah L. McGuinness
1998	Misc	`conf`	Matching in Description Logics: Preliminary Results. ICCS Franz Baader, Alexander Borgida, Deborah L. McGuinness
1998	J	`jnl`	On the Complexity of Boolean Unification. Inf. Process. Lett. Franz Baader
1998	—	`conf`	Structural Subsumption Considered from an Automata-Theoretic Point of View. Description Logics Franz Baader, Ralf Küsters, Ralf Molitor
1998	—	`book`	Term rewriting and all that. Franz Baader, Tobias Nipkow
1998	A	`conf`	Unification of Concept Terms in Description Logics. ECAI Franz Baader, Paliath Narendran
1997	A	`conf`	A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. CADE Franz Baader, Cesare Tinelli
1997	A*	`conf`	Combination of Compatible Reduction Orderings that are Total on Ground Terms. LICS Franz Baader
1997	—	`conf`	Description Logics with Aggregates and Concrete Domains. Description Logics Franz Baader, Ulrike Sattler
1997	J	`jnl`	Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases. SIGMOD Rec. Franz Baader, Manfred A. Jeusfeld, Werner Nutt
1997	—	`ed.`	Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997 Franz Baader, Manfred A. Jeusfeld, Werner Nutt
1997	—	`conf`	Unification of Concept Terms in Description Logics. Description Logics Franz Baader, Paliath Narendran
1996	J	`jnl`	A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. Log. Comput. Franz Baader
1996	J	`jnl`	Cardinality Restrictions on Concepts. Artif. Intell. Franz Baader, Martin Buchheit, Bernhard Hollunder
1996	J	`jnl`	Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Appl. Algebra Eng. Commun. Comput. Franz Baader, Werner Nutt
1996	A	`conf`	Description Logics with Symbolic Number Restrictions. ECAI Franz Baader, Ulrike Sattler
1996	—	`ed.`	Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings FroCoS Franz Baader, Klaus U. Schulz
1996	—	`ed.`	KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995 Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1996	—	`ed.`	Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996 Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1996	—	`conf`	Knowledge Representation in Process Engineering. Description Logics Franz Baader, Ulrike Sattler
1996	J	`jnl`	Logik-basierte Wissensrepräsentation. Künstliche Intell. Franz Baader
1996	—	`conf`	Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics Franz Baader, Ulrike Sattler
1996	A*	`conf`	Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR Franz Baader, Ulrike Sattler
1996	J	`jnl`	Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. J. Symb. Comput. Franz Baader, Klaus U. Schulz
1996	J	`jnl`	Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Ann. Math. Artif. Intell. Franz Baader
1995	J	`jnl`	A Multi-Dimensional Terminological Knowledge Representation Language. J. Appl. Non Class. Logics Franz Baader, Hans Jürgen Ohlbach
1995	J	`jnl`	Combination Techniques and Decision Problems for Disunification. Theor. Comput. Sci. Franz Baader, Klaus U. Schulz
1995	—	`conf`	Combination of Constraint Solving Techniques: An Algebraic POint of View. RTA Franz Baader, Klaus U. Schulz
1995	J	`jnl`	Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reason. Franz Baader, Bernhard Hollunder
1995	A	`conf`	On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CP Franz Baader, Klaus U. Schulz
1995	—	`conf`	On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. UNIF Franz Baader, Klaus U. Schulz
1995	—	`conf`	Overview: KRDB'95. KRDB Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995	J	`jnl`	Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. J. Autom. Reason. Franz Baader, Bernhard Hollunder
1995	—	`ed.`	Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994 Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995	J	`jnl`	Reasoning about structured objects: Knowledge representation meets databases. Knowl. Eng. Rev. Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995	A*	`conf`	Terminological Logics with Modal Operators. IJCAI (1) Franz Baader, Armin Laux
1994	J	`jnl`	Am empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
1994	Misc	`conf`	Cardinality Restrictions on Concepts. KI Franz Baader, Martin Buchheit, Bernhard Hollunder
1994	—	`conf`	Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. KRDB Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1994	—	`ch.`	Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) Franz Baader, Jörg H. Siekmann
1993	J	`jnl`	"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. Künstliche Intell. Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt
1993	C	`conf`	A Semantics for Open Normal Defaults via a Modified Preferential Approach. ECSQARU Franz Baader, Karl Schlechta
1993	—	`conf`	Combination Techniques and Decision Problems for Disunification. RTA Franz Baader, Klaus U. Schulz
1993	A*	`conf`	How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI Franz Baader, Bernhard Hollunder
1993	J	`jnl`	On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J. Log. Lang. Inf. Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
1993	J	`jnl`	Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. J. ACM Franz Baader
1992	A*	`conf`	An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
1992	—	`conf`	Are Complete an Expressiv Terminological Systems Feasible? Description Logics Franz Baader, Werner Nutt
1992	—	`conf`	Computing Extensions of Terminological Default Theories. ECAI Workshop on Knowledge Representation and Reasoning Franz Baader, Bernhard Hollunder
1992	A*	`conf`	Embedding Defaults into Terminological Knowledge Representation Formalisms. KR Franz Baader, Bernhard Hollunder
1992	—	`conf`	Extensions of Concept Languages for a Mechanical Engineering Application. GWAI Franz Baader, Philipp Hanschke
1992	J	`jnl`	Terminologische Logiken. Künstliche Intell. Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
1992	A	`conf`	Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. CADE Franz Baader, Klaus U. Schulz
1991	A*	`conf`	A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI Franz Baader, Philipp Hanschke
1991	—	`conf`	A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK Franz Baader, Bernhard Hollunder
1991	J	`jnl`	AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. Künstliche Intell. Franz Baader, Alfred Kobsa, Hans-Jürgen Profitlich
1991	—	`conf`	Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. RTA Franz Baader, Werner Nutt
1991	A*	`conf`	Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. IJCAI Franz Baader
1991	—	`conf`	Cyclic, Transitive, and Concrete Extensions of Concept Languages. Description Logics Franz Baader
1991	—	`conf`	General A- and AX-Unification via Optimized. IWWERT Franz Baader, Klaus U. Schulz
1991	J	`jnl`	KRIS: Knowledge Representation and Inference System. SIGART Bull. Franz Baader, Bernhard Hollunder
1991	A*	`conf`	Qualifying Number Restrictions in Concept Languages. KR Bernhard Hollunder, Franz Baader
1991	—	`conf`	Terminological Knowledge Representation: A Proposal for a Terminological Logic. Description Logics Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich
1991	—	`conf`	Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. RTA Franz Baader
1990	A	`conf`	A Formal Definition for the Expressive Power of Knowledge Representation Languages. ECAI Franz Baader
1990	A	`conf`	Rewrite Systems for Varieties of Semigroups. CADE Franz Baader
1990	A*	`conf`	Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI Franz Baader
1990	A	`conf`	Tutorial on Reasoning and Representation with Concept Languages. CADE Jürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka
1990	—	`conf`	Unification Theory. IWWERT Franz Baader
1990	—	`conf`	Unification in Varieties of Completely Regular Semigroups. IWWERT Franz Baader
1989	—	`conf`	Characterization of Unification Type Zero. RTA Franz Baader
1989	—	`conf`	Unification Properties of Commutative Theories: A Categorical Treatment. Category Theory and Computer Science Franz Baader
1989	J	`jnl`	Unification in Commutative Theories. J. Symb. Comput. Franz Baader
1989	—	`—`	Unifikation und Reduktionssysteme für Halbgruppenvarietäten. Franz Baader
1988	J	`jnl`	A Note on Unification Type Zero. Inf. Process. Lett. Franz Baader
1988	J	`jnl`	Unification in Commutative Idempotent Monoids. Theor. Comput. Sci. Franz Baader, Wolfram Büttner
1986	J	`jnl`	The Theory of Idempotent Semigroups is of Unification Type Zero. J. Autom. Reason. Franz Baader