Publications of Franz Baader

From International Center for Computational Logic
Toggle side column

Publications of Franz Baader


Journal Articles

Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics
Künstliche Intelligenz, 31(1):85–90, 2017
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Notre Dame Journal of Formal Logic, 57(4):443–476, 2016
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Logical Methods of Computer Science, 12(4:1):1–28, 2016
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Query Entailment in the Description Logic SHQ
Journal of Web Semantics, 33:71–93, 2015
Details Download
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
On the Decidability Status of Fuzzy ALC with General Concept Inclusions
Journal of Philosophical Logic, 44(2):117-146, 2015
Details Download
Franz Baader, Marcel Lippmann
Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited
Journal of Applied Logic, 12(4):584-613, 2014
Details
Franz Baader, Alexander Okhotin
On Language Equations with One-sided Concatenation
Fundamenta Informaticae, 126(1):1-35, 2013
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
ACM Trans. Comput. Log., 13(3), 2012
Details Download
Franz Baader, Martin Knechtel, Rafael Peñaloza
Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies
Journal of Web Semantics, 12--13:22-40, 2012
Details Download
Franz Baader
What's new in Description Logics
Informatik-Spektrum, 34(5):434-442, 2011
Details
Franz Baader, S. Ghilardi
Unification in Modal and Description Logics
Logic Journal of the IGPL, 19(6):705-730, 2011
Details Download
Franz Baader, Rafael Peñaloza
Axiom Pinpointing in General Tableaux
Journal of Logic and Computation, 20(1):5-34, 2010
Details Download
Franz Baader, Rafael Peñaloza
Automata-based Axiom Pinpointing
Journal of Automated Reasoning, 45(2):91-129, August 2010
Details Download
Franz Baader, Barbara Morawska
Unification in the Description Logic EL
Logical Methods in Computer Science, 6(3), 2010
Details Download
Franz Baader, Bernhard Beckert, Tobias Nipkow
Deduktion: von der Theorie zur Anwendung
Informatik-Spektrum, 33(5):444-451, 2010
Details
Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
Small is again Beautiful in Description Logics
KI – Künstliche Intelligenz, 24(1):25-33, April 2010
Details Download
Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker
SNOMED reaching its adolescence: Ontologists' and logicians' health check
International Journal of Medical Informatics, 78(Supplement 1):S86-S94, 2009
Details Download
Franz Baader, Jan Hladik, Rafael Peñaloza
Automata Can Show PSPACE Results for Description Logics
Information and Computation, Special Issue: First International Conference on Language and Automata Theory and Applications (LATA'07), 206(9--10):1045-1056, 2008
Details Download
Franz Baader, Barış Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Journal of Applied Logic, 5(3):392-420, 2007
Details Download
Franz Baader, S. Ghilardi
Connecting Many-Sorted Theories
The Journal of Symbolic Logic, 72(2):535-583, 2007
Details Download
Franz Baader, Silvio Ghilardi, Cesare Tinelli
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
Information and Computation, 204(10):1413-1452, 2006
Details Download
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Information Systems, 28(8):979-1004, 2003
Details Download
Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
Fundamenta Informaticae, 57:1-33, 2003
Details Download
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics for the Semantic Web
KI – Künstliche Intelligenz, 4, 2002
Details
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics and Abstract Description Systems
Journal of Artificial Intelligence Research (JAIR), 16:1-58, 2002
Details Download
Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories
Information and Computation, 178(2):346-390, 2002
Details
Franz Baader, Ulrike Sattler
An Overview of Tableau Algorithms for Description Logics
Studia Logica, 69:5-40, 2001
Details Download
Franz Baader, P. Narendran
Unification of Concepts Terms in Description Logics
J. Symbolic Computation, 31(3):277-305, 2001
Details
Franz Baader, Ulrike Sattler
Expressive Number Restrictions in Description Logics
Journal of Logic and Computation, 9(3):319-350, 1999
Details Download
Franz Baader, R. Küsters, A. Borgida, D. McGuinness
Matching in Description Logics
Journal of Logic and Computation, 9(3):411-447, 1999
Details
Franz Baader
On the Complexity of Boolean Unification
Information Processing Letters, 67(4):215-220, 1998
Details
Franz Baader, K. Schulz
Combination of Constraint Solvers for Free and Quasi-Free Structures
Theoretical Computer Science, 192:107-161, 1998
Details
Franz Baader, M. Buchheit, B. Hollunder
Cardinality Restrictions on Concepts
Artificial Intelligence, 88(1--2):195-213, 1996
Details
Franz Baader
Logik-basierte Wissensrepräsentation
KI, {3/96}:8-16, 1996
Details
Franz Baader
Using Automata Theory for Characterizing the Semantics of Terminological Cycles
Annals of Mathematics and Artificial Intelligence, 18(2--4):175-219, 1996
Details
Franz Baader, K. U. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
J. Symbolic Computation, 21:211-243, 1996
Details
Franz Baader, W. Nutt
Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning
J. Applicable Algebra in Engineering, Communication and Computing, 7(4):309-337, 1996
Details
Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
J. Automated Reasoning, 14:149-180, 1995
Details
Franz Baader, M. Buchheit, M.A Jeusfeld, W. Nutt
Reasoning About Structured Objects: Knowledge Representation Meets Databases
The Knowledge Engineering Review, 10(1):73-76, 1995
Details
Franz Baader, K.U. Schulz
Combination Techniques and Decision Problems for Disunification
Theoretical Computer Science B, 142:229-255, 1995
Details
Franz Baader, H.-J. Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
J. Applied Non-Classical Logics, 5:153-197, 1995
Details
Franz Baader, E. Franconi, B. Hollunder, B. Nebel, H.J. Profitlich
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems
Applied Intelligence, 4(2):109-132, 1994
Details Download
Franz Baader, H.-J. Bürckert, B. Nebel, W. Nutt, G. Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Journal of Logic, Language and Information, 2:1-18, 1993
Details Download
Franz Baader, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt
Terminologische Logiken
KI, {3/92}:23-33, 1992
Details
Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
Details
Franz Baader
Unification in Commutative Theories
J. Symbolic Computation, 8:479-497, 1989
Details
Franz Baader
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
Details
Franz Baader, W. Büttner
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
Details
Franz Baader
Unification in Varieties of Idempotent Semigroups
Semigroup Forum, 36:127-145, 1987
Details
Franz Baader
The Theory of Idempotent Semigroups is of Unification Type Zero
J. Automated Reasoning, 2:283-286, 1986
Details

Proceedings Articles

Franz Baader, Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains
In Oliver Kutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL'23), volume 3515 of CEUR Workshop Proceedings, September 2023
Details
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
In Giuseppe De Giacomo. Alejandro Catala, Bistra Dilkina, Michela Milano, Senen Barro and Alberto Bugarin, Jerome Lang, eds., Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and Applications, 616-623, June 2020. IOS Press
Details Download
Filippo De Bortoli, Franz Baader
Description Logics That Count, and What They Can and Cannot Count
In Laura Kovacs, Konstantin Korovin, Giles Reger, eds., ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia, volume 68 of EPiC Series in Computing, 1-25, 2020. EasyChair
Details
Filippo De Bortoli, Franz Baader
Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)
In Stefan Borgwardt, Thomas Meyer, eds., Proceedings of the 33rd International Workshop on Description Logics (DL'20), volume 2663 of CEUR Workshop Proceedings, 2020. CEUR-WS
Details
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Filippo De Bortoli, Franz Baader
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets
In Andreas Herzig, Andrei Popescu, eds., Proc. of the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), volume 11715 of Lecture Notes in Computer Science, 203-219, 2019. Springer
Details
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), to appear
Details Download
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download
Franz Baader, Oliver Fernandez Gil
Extending the Description Logic tEL(deg) with acyclic TBoxes
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and local disunification in EL
In Maribel Fernández, eds., Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA’15), volume 36 of Leibniz International Proceedings in Informatics, 40–56, 2015. Dagstuhl Publishing
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles
In Bernhard Pfahringer, Jochen Renz, eds., Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15), volume 9457 of Lecture Notes in Artificial Intelligence, 21-33, 2015. Springer
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Temur Kutsia and Christophe Ringeissen, eds., Proceedings of the 28th International Workshop on Unification (UNIF'14), RISC-Linz Report Series No. 14-06, 22-26, 2014
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Carsten Lutz and Michael Thielscher, eds., Proceedings of the 37th German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, 135-146, 2014. Springer
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 33-44, 2014
Details Download
Franz Baader
Ontology-Based Monitoring of Dynamic Systems
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 678-681, 2014. AAAI Press
Details Download
Franz Baader, Benjamin Zarrieß
Verification of Golog Programs over Description Logic Actions
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 181-196, September 2013. Springer
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Barbara Morawska and Konstantin Korovin, eds., Proceedings of the 27th International Workshop on Unification (UNIF'13), 2013
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 295-310, September 2013. Springer
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid EL-Unification is NP-Complete
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, 29-40, July 2013
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporalizing Ontology-Based Data Access
In Maria Paola Bonacina, eds., Proceedings of the 24th International Conference on Automated Deduction (CADE-24), volume 7898 of Lecture Notes in Artificial Intelligence, 330-344, 2013. Springer
Details Download
George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder
Learning Formal Definitions for Biomedical Concepts
In Kavitha Srinivas and Simon Jupp, eds., Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 37-47, 2012
Details Download
Franz Baader, Alexander Okhotin
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints
In Nikolaj Bjørner and Andrei Voronkov, eds., Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-12), volume 7180 of Lecture Notes in Computer Science, 107-121, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-unifiers is Hard
In Silvio Ghilardi and Lawrence Moss, eds., Proceedings of the 9-th International Conference on Advances in Modal Logic (AiML'12), 2012
Details Download
Franz Baader, Julian Mendez, Barbara Morawska
UEL: Unification Solver for the Description Logic EL – System Description
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 45-51, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
In Michael Thielscher and Dongmo Zhang, eds., Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12), volume 7691 of Lecture Notes in Artificial Intelligence, 493-504, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Recent Advances in Unification for the EL Family
In Santiago Escobar and Konstantin Korovin and Vladimir Rybakov, eds., Proceedings of the 26th International Workshop on Unification (UNIF'12), 2012
Details Download
Franz Baader, Stefan Borgwardt, Julian Alfredo Mendez, Barbara Morawska
UEL: Unification Solver for EL
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 26-36, 2012
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL Towards General TBoxes
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 568-572, 2012. AAAI Press
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 30-44, 2012. Springer
Details Download
Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL-2012), volume 846 of CEUR Workshop Proceedings, June 2012. CEUR-WS.org
Details Download
Franz Baader, Rafael Peñaloza
On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm
In Cesare Tinelli and Viorica Sofronie-Stokkermans, eds., Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), volume 6989 of Lecture Notes in Aritificial Intelligence, 55-70, 2011. Springer
Details Download
Franz Baader, Rafael Peñaloza
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 2011
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, eds., Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume 6803 of Lecture Notes in Computer Science, 70-84, 2011. Springer
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Computing Local Unifiers in the Description Logic EL without the Top Concept
In Franz Baader and Barbara Morawska and Jan Otop, eds., Proceedings of the 25th International Workshop on Unification (UNIF'11), 2-8, 2011
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 26-36, 2011
Details Download
Franz Baader, Rafael Peñaloza
Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011), 1735-1742, 2011. IEEE Press
Details Download
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Query and Predicate Emptiness in Description Logics
In Fangzhen Lin and Ulrike Sattler, eds., Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010), 2010. AAAI Press
Details Download
Franz Baader, Barbara Morawska
SAT Encoding of Unification in EL
In Christian G. Fermüller and Andrei Voronkov, eds., Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), 97-111,  2010. Springer
Details Download
Franz Baader, Hongkai Liu, Anees ul Mehdi
Verifying Properties of Infinite Sequences of Description Logic Actions
In Helder Coelho and Rudi Studer and Michael Wooldridge, eds., Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10), volume 215 of Frontiers in Artificial Intelligence and Applications, 53-58, 2010. IOS Press
Details Download
Franz Baader, Marcel Lippmann, Hongkai Liu
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
In Christian G. Fermüller and Andrei Voronkov, eds., Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), 82-96,  2010. Springer
Details Download
Franz Baader, Barış Sertkaya
Usability Issues in Description Logic Knowledge Base Completion
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Ingelligence, 1-21, 2009. Springer
Details Download
Franz Baader, Barbara Morawska
Unification in the Description Logic EL
In Ralf Treinen, eds., Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009), volume 5595 of Lecture Notes in Computer Science, 350-364, 2009. Springer
Details Download
Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
A Novel Architecture for Situation Awareness Systems
In Martin Giese and Arild Waaler, eds., Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2009), volume 5607 of Lecture Notes in Computer Science, 77-92, 2009. Springer
Details Download
Franz Baader, Martin Knechtel, Rafael Peñaloza
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms
In Abraham Bernstein et al., eds., Proceedings of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, 49-64, 2009
Details Download
Franz Baader, Stefan Schulz, Kent Spackmann, Bontawee Suntisrivaraporn
How Should Parthood Relations be Expressed in SNOMED CT?
Proceedings of 1. Workshop des GI-Arbeitskreises Ontologien in Biomedizin und Lebenswissenschaften (OBML 2009), 2009
Details Download
Franz Baader, Felix Distel
Exploring Finite Models in the Description Logic ELgfp
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, 146-161, 2009. Springer
Details Download
Franz Baader, Andreas Bauer, Alwen Tiu
Matching Trace Patterns with Regular Policies
In A.H. Dediu and A.M. Ionescu and C. Martin-Vide, eds., Proceedings of the Third International Conference on Language, and Automata Theory, and Applications (LATA 2009), volume 5457 of Lecture Notes in Artificial Intelligence, 105-116, 2009. Springer
Details Download
Franz Baader, Andreas Bauer, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic
In Silvio Ghilardi and Roberto Sebastiani, eds., Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09), 2009
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
In Silvio Ghilardi and Roberto Sebastiani, eds., The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Franz Baader, Boontawee Suntisrivaraporn
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL^+
Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED, volume 410 of CEUR-WS, 2008
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008), 2008
Details Download
Franz Baader, Sebastian Brandt, Carsten Lutz
Pushing the EL Envelope Further
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
Details Download
Franz Baader, Rafael Peñaloza
Automata-Based Axiom Pinpointing
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), volume 5195 of Lecture Notes in Artificial Intelligence, 226-241, 2008. Springer
Details Download
Franz Baader, Felix Distel
A Finite Basis for the Set of EL-Implications Holding in a Finite Model
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Artificial Intelligence, 46-61, 2008. Springer
Details Download
Franz Baader, J. Hladik, R. Peñaloza
SI! Automata Can Show PSPACE Results for Description Logics
In C. Martin-Vide, eds., Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA'07), 2007
Details Download
Franz Baader, J. Hladik, R. Peñaloza
Blocking Automata for PSPACE DLs
In D. Calvanese and E. Franconi and S. Tessaris, eds., Proceedings of the 2007 International Workshop on Description Logics, CEUR-WS, 2007
Details Download
Franz Baader, Rafael Peñaloza
Axiom Pinpointing in General Tableaux
In N. Olivetti, eds., Proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2007, volume 4548 of Lecture Notes in Computer Science, 11-27, 2007. Springer
Details Download
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
In Christine Golbreich and Aditya Kalyanpur and Bijan Parsia, eds., Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007), volume 258, 2007. CEUR-WS
Details Download
Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
Pinpointing in the Description Logic EL
Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), volume 4667 of Lecture Notes in Artificial Intelligence, 52-67, 2007. Springer
Details Download
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. AAAI Press
Details Download
Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
Pinpointing in the Description Logic EL
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007
Details Download
Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?
Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), to appear
Details Download
Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions
Proceedings of The Medinfo 2007 Congress, Studies in Health Technology and Informatics (SHTI-series), 2007. IOS Press
Details Download
Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent Spackman
Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators
In Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna, eds., Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME'07), Lecture Notes in Computer Science, 2007. Springer
Details Download
Franz Baader, A. Okhotin
Complexity of Language Equations With One-Sided Concatenation and All Boolean Operations
In Jordi Levy, eds., Proceedings of the 20th International Workshop on Unification, UNIF'06, 59-73, 2006
Details Download
Franz Baader, Carsten Lutz, B. Suntisrivaraporn
CEL—A Polynomial-time Reasoner for Life Science Ontologies
In U. Furbach and N. Shankar, eds., Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence, 287-291, 2006. Springer
Details Download
Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Efficient Reasoning in EL^+
Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006
Details Download
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, to appear
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download
Franz Baader, S. Brandt, Carsten Lutz
Pushing the EL Envelope
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05, 2005. Morgan-Kaufmann Publishers
Details Download
Franz Baader, S. Ghilardi
Connecting Many-Sorted Structures and Theories through Adjoint Functions
Proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS'05), volume 3717 of Lecture Notes in Artificial Intelligence, 2005. Springer
Details Download
Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?
Proceedings of the Methods for Modalities Workshop (M4M-05), 2005
Details Download
Franz Baader, S. Ghilardi
Connecting Many-Sorted Theories
Proceedings of the 20th International Conference on Automated Deduction (CADE-05), volume 3632 of Lecture Notes in Artificial Intelligence, 278-294, 2005. Springer
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
A Description Logic Based Approach to Reasoning about Web Services
Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), 2005
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, volume 3698 of Lecture Notes in Artificial Intelligence, 18-33, 2005. Springer
Details Download
Franz Baader, B. Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
In José Júlio Alferes and João Alexandre Leite, eds., Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in Computer Science, 400-412, 2004. Springer
Details Download
Franz Baader, B. Sertkaya
Applying Formal Concept Analysis to Description Logics
In P. Eklund, eds., Proceedings of the 2nd International Conference on Formal Concept Analysis (ICFCA 2004), volume 2961 of Lecture Notes in Artificial Intelligence, 261-286, 2004. Springer
Details Download
Franz Baader, S. Ghilardi, Cesare Tinelli
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
In D. Basin and M. Rusinowitch, eds., Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, 183-197, 2004. Springer
Details Download
Franz Baader
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
In J. Hromkovic and M. Nagl, eds., Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2004), volume 3353 of Lecture Notes in Computer Science, 177-188, 2004. Springer
Details Download
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
Franz Baader
Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics
Proceedings of the 11th International Conference on Conceptual Structures, ICCS 2003, volume 2746 of Lecture Notes in Artificial Intelligence, 117-130, 2003. Springer
Details Download
Franz Baader
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download
Franz Baader, J. Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
In Moshe Vardi and Andrei Voronkov, eds., Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, 1-32, 2003. Springer
Details Download
Franz Baader
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 64-78, 2003. Springer
Details Download
Franz Baader
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, 319-324, 2003. Morgan Kaufman
Details Download
Franz Baader
Terminological Cycles in a Description Logic with Existential Restrictions
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, 325-330, 2003. Morgan Kaufmann
Details
Franz Baader, Cesare Tinelli
Combining Decision Procedures for Positive Theories Sharing Constructors
In S. Tison, eds., Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA-02), volume 2378 of Lecture Notes in Computer Science, 338-352, 2002. Springer
Details Download
Franz Baader, R. Küsters
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles
In I. Horrocks and S. Tessaris, eds., Proceedings of the 2002 International Workshop on Description Logics, 2002
Details Download
Franz Baader, Anni-Yasmin Turhan
On the problem of computing small representations of least common subsumers
Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002), Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
Franz Baader, Anni-Yasmin Turhan
TBoxes do not yield a compact representation of least common subsumers
Proceedings of the International Workshop in Description Logics 2001 (DL2001), August 2001
Details Download
Franz Baader, Stephan Tobies
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, volume 2083 of Lecture Notes in Artificial Intelligence, 92-106, 2001. Springer
Details Download
Franz Baader, R. Küsters
Unification in a Description Logic with Transitive Closure of Roles
In R. Nieuwenhuis and A. Voronkov, eds., Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2001), volume 2250 of Lecture Notes in Computer Science, 217-232, 2001. Springer
Details Download
Franz Baader, S. Brandt, R. Küsters
Matching under Side Conditions in Description Logics
In B. Nebel, eds., Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI'01, 213-218, 2001. Morgan Kaufmann
Details
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics
In F. Baader and U. Sattler, eds., Proceedings of the International Workshop in Description Logics 2000 (DL2000), CEUR-WS, 21-30, August 2000. RWTH Aachen
Details Download
Franz Baader, Ulrike Sattler
Tableau Algorithms for Description Logics
In R. Dyckhoff, eds., Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000), volume 1847 of Lecture Notes in Artificial Intelligence, 1-18, 2000. Springer
Details Download
Franz Baader, R. Molitor
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis
In B. Ganter and G. Mineau, eds., Conceptual Structures: Logical, Linguistic, and Computational Issues – Proceedings of the 8th International Conference on Conceptual Structures (ICCS2000), volume 1867 of Lecture Notes in Artificial Intelligence, 290-303, 2000. Springer
Details Download
Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies
In A.G. Cohn and F. Giunchiglia and B. Selman, eds., Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), 297-308, 2000. Morgan Kaufmann Publishers
Details Download
Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
In A.G. Cohn and F. Giunchiglia and B. Selman, eds., Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), 261-272, 2000. Morgan Kaufmann Publishers
Details Download
Franz Baader, Cesare Tinelli
Combining Equational Theories Sharing Non-Collapse-Free Constructors
In H. Kirchner and Ch. Ringeissen, eds., Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), volume 1794 of Lecture Notes in Computer Science, 257-271, 2000. Springer
Details Download
Franz Baader, R. Molitor
Rewriting Concepts Using Terminologies
In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics 1999 (DL'99), CEUR-WS, 1999. Linköping University
Details Download
Franz Baader, R. Küsters, R. Molitor
Computing Least Common Subsumers in Description Logics with Existential Restrictions
In T. Dean, eds., Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), 96-101, 1999. Morgan Kaufmann
Details
Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics 1999 (DL'99), CEUR-WS, 1999. Linköping University
Details Download
Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
In P. Narendran and M. Rusinowitch, eds., Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), volume 1631 of Lecture Notes in Computer Science, 175-189, 1999. Springer
Details
Franz Baader
Logic-Based Knowledge Representation
In M.J. Wooldridge and M. Veloso, eds., Artificial Intelligence Today, Recent Trends and Developments, Lecture Notes in Computer Science, 13-41, 1999. Springer
Details Download
Franz Baader, R. Molitor, Stephan Tobies
Tractable and Decidable Fragments of Conceptual Graphs
In W. Cyre and W. Tepfenhart, eds., Proceedings of the Seventh International Conference on Conceptual Structures (ICCS'99), Lecture Notes in Computer Science, 480-493, 1999. Springer
Details Download
Franz Baader, R. Küsters
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
In O. Herzog and A. Günter, eds., Proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, volume 1504 of Lecture Notes in Computer Science, 129-140, 1998. Springer
Details
Franz Baader, R. Küsters
Least common subsumer computation w.r.t. cyclic ALN-terminologies
Proceedings of the 1998 International Workshop on Description Logics (DL'98), 1998
Details Download
Franz Baader, R. Küsters, R. Molitor
Structural Subsumption Considered from an Automata Theoretic Point of View
Proceedings of the 1998 International Workshop on Description Logics DL'98, 1998
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
In H. Prade, eds., Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 331-335, 1998. John Wiley & Sons Ltd
Details
Franz Baader, A. Borgida, D.L. McGuinness
Matching in Description Logics: Preliminary Results
In M.-L. Mugnier and M. Chein, eds., Proceedings of the Sixth International Conference on Conceptual Structures (ICCS-98), volume 1453 of Lecture Notes in Computer Science, 15-34, 1998. Springer
Details
Franz Baader, Ulrike Sattler
Description Logics with Concrete Domains and Aggregation
In H. Prade, eds., Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 336-340, 1998. John Wiley & Sons Ltd
Details Download
Franz Baader, Cesare Tinelli
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
In W. McCune, eds., Proceedings of the 14th International Conference on Automated Deduction (CADE-97), volume 1249 of Lecture Notes in Artificial Intelligence, 19-33, 1997. Springer
Details
Franz Baader, P. Narendran
Unification of Concept Terms
Proceedings of the 11th International Workshop on Unification, UNIF-97, LIFO Technical Report 97-8, 1997. LIFO, Universitè de Orlèans
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
Proceedings of the International Workshop on Description Logics, DL'97, 34-38, 1997. LRI, Universitè PARIS-SUD, Cente d'Orsay
Details Download
Franz Baader
Combination of Compatible Reduction Orderings that are Total on Ground Terms
In G. Winskel, eds., Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 2-13, 1997. IEEE Computer Society Press
Details
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Proceedings of the International Workshop on Description Logics, 1997
Details Download
Franz Baader, Ulrike Sattler
Number Restrictions on Complex Roles in Description Logics
Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), 1996. Morgan Kaufmann, Los Altos
Details
Franz Baader, Ulrike Sattler
Description Logics with Symbolic Number Restrictions
In W. Wahlster, eds., Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), 283-287, 1996. John Wiley & Sons Ltd
Details Download
Franz Baader, Ulrike Sattler
Knowledge Representation in Process Engineering
Proceedings of the International Workshop on Description Logics, 1996. AAAI Press/The MIT Press
Details Download
Franz Baader
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Proceedings of the 10th International Workshop on Unification, UNIF-96, CIS-Report 96-91, 97-106, 1996. CIS, Universität München
Details Download
Franz Baader, K.U. Schulz
Combination of Constraint Solving Techniques: An Algebraic Point of View
Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Artificial Intelligence, 352-366, 1995. Springer
Details
Franz Baader, K.U. Schulz
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP95, volume 976 of Lecture Notes in Artificial Intelligence, 380-397, 1995. Springer
Details
Franz Baader, A. Laux
Terminological Logics with Modal Operators
In C. Mellish, eds., Proceedings of the 14th International Joint Conference on Artificial Intelligence, 808-814, 1995. Morgan Kaufmann
Details
Franz Baader
Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, 168-178, 1995
Details Download
Franz Baader, M. Buchheit, B. Hollunder
Cardinality Restrictions on Concepts
Proceedings of the German AI Conference, KI'94, volume 861 of Lecture Notes in Computer Science, 51-62, 1994. Springer
Details
Franz Baader, B. Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, 669-674, 1993
Details
Franz Baader, P. Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application
Proceedings of the 16th German AI-Conference, GWAI-92, volume 671 of Lecture Notes in Computer Science, 132-143, 1993. Springer
Details
Franz Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Proceedings of the International Conference on Rewriting Techniques and Applications, RTA 93, volume 690 of Lecture Notes in Computer Science, 301-315, 1993. Springer
Details
Franz Baader, K. Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach
Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU 93, volume 747 of Lecture Notes in Computer Science, 9-16, 1993. Springer
Details
H.-J. Ohlbach, Franz Baader
A Multi-Dimensional Terminological Knowledge Representation Language
Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, 690-695, 1993
Details
Franz Baader, B. Hollunder, B. Nebel, H.J. Profitlich, E. Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, 270-281, 1992
Details
Franz Baader, K.U. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Proceedings of the Second International Workshop on Word Equations and Related Topics, IWWERT-91, volume 677 of Lecture Notes in Computer Science, 23-42, 1992. Springer
Details
Franz Baader, K. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Proceedings of the 11th International Conference on Automated Deduction, CADE-92, volume 607 of Lecture Notes in Computer Science, 50-65, 1992. Springer
Details
Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, 306-317, 1992
Details
Franz Baader
Unification Theory
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 151-170, 1991. Springer
Details
Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, 86-97, 1991. Springer
Details
Franz Baader, W. Nutt
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, 124-135, 1991. Springer
Details
Franz Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, 446-451, 1991
Details
Franz Baader, B. Hollunder
A Terminological Knowledge Representation System with Complete Inference Algorithms
Proceedings of the First International Workshop on Processing Declarative Knowledge, volume 572 of Lecture Notes in Computer Science, 67-85, 1991. Springer
Details Download
Franz Baader, P. Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages
Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, 452-457, 1991
Details
Franz Baader
Unification in Varieties of Completely Regular Semigroups
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 210-230, 1991. Springer
Details
B. Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages
Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, 335-346, 1991
Details
Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Proceedings of the Symposium on Computational Logic, 177-201, 1990
Details
Franz Baader
A Formal Definition for Expressive Power of Knowledge Representation Languages
Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90, 53-58, 1990
Details
Franz Baader
Rewrite Systems for Varieties of Semigroups
Proceedings of the 10th International Conference on Automated Deduction, CADE-90, volume 488 of Lecture Notes in Computer Science, 396-410, 1990. Springer
Details
Franz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90, 621-626, 1990
Details
Franz Baader
Unification Properties of Commutative Theories: A Categorical Treatment
Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, 273-299, 1989. Springer
Details
Franz Baader
Characterizations of Unification Type Zero
Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, RTA 89, volume 355 of Lecture Notes in Computer Science, 2-14, 1989. Springer
Details

Books

Franz Baader
18th International Conference on Rewriting Techniques and Applications (RTA 2007)
Volume 4533 of Lecture Notes in Computer Science. Springer, 2007
Details
Franz Baader, A. Voronkonv
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004
Volume 3452 of Lecture Notes in Artificial Intelligence. Springer, 2005
Details
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter F. Patel-Schneider
The Description Logic Handbook: Theory, Implementation, and Applications
Cambridge University Press, 2003
Details
Franz Baader
Proceedings of the 19th International Conference on Automated Deduction CADE-19
Volume 2741 of Lecture Notes in Artificial Intelligence. Springer, 2003
Details
Franz Baader, G. Brewka, Th. Eiter
KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001)
Volume 2174 of Lecture Notes in Artificial Intelligence. Springer, 2001
Details
Franz Baader, Tobias Nipkow
Term Rewriting and All That
Cambridge University Press, 1999
Details
Franz Baader, Tobias Nipkow
Term Rewriting and All That
Cambridge University Press, 1998
Details
Franz Baader, Klaus U. Schulz
Frontiers of Combining Systems
Proceedings of First International Workshop, Applied Logic Series 3. Kluwer Academic Publishers, 1996
Details
Franz Baader, Can Adam Albayrak
Termersetzungssysteme, Skript zur Vorlesung
Volume 12 of {A}achener {B}eitr{\"a}ge zur {I}nformatik. Verlag der Augustinus Buchhandlung, 1995
Details
Franz Baader, J. Siekmann, W. Snyder
Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992
{BU} Technical Report 93-004. , 1993
Details
Franz Baader, J. Siekmann, W. Snyder
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992
Details

Book Chapters

Franz Baader
Description Logics
In Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009, volume 5689 of Lecture Notes in Computer Science, 1-39. Springer, 2009
Details Download
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, eds., Handbook of Knowledge Representation, 135-179. Elsevier, 2007
Details
Franz Baader, Carsten Lutz
Description Logic
In Patrick Blackburn and Johan van Benthem and Frank Wolter, eds., The Handbook of Modal Logic, 757-820. Elsevier, 2006
Details Download
Franz Baader, R. Küsters
Nonstandard Inferences in Description Logics: The Story So Far
In D.M. Gabbay and S.S. Goncharov and M. Zakharyaschev, eds., Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series, 1-75. Springer, 2006
Details Download
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics as Ontology Languages for the Semantic Web
In D. Hutter and W. Stephan, eds., Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of Lecture Notes in Artificial Intelligence, 228-248. Springer, 2005
Details Download
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In S. Staab and R. Studer, eds., Handbook on Ontologies, International Handbooks in Information Systems, 3-28. Springer, 2004
Details
Franz Baader, R Küsters, Frank Wolter
Extensions to Description Logics
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 219-261. Cambridge University Press, 2003
Details
Franz Baader, W. Nutt
Basic Description Logics
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 43-95. Cambridge University Press, 2003
Details
Franz Baader
Description Logic Terminology
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 485-495. Cambridge University Press, 2003
Details
Franz Baader, W. Snyder
Unification Theory
In J.A. Robinson and A. Voronkov, eds., Handbook of Automated Reasoning, volume I, 447-533. Elsevier Science Publishers, 2001
Details Download
Franz Baader, K. Schulz
Combining Constraint Solving
In H. Comon and C. Marché and R. Treinen, eds., Constraints in Computational Logics, volume 2002 of Lecture Notes in Computer Science. Springer, 2001
Details Download
E. Franconi, Franz Baader, Ulrike Sattler, P. Vassiliadis
Multidimensional Data Models and Aggregation
In M. Jarke and M. Lenzerini and Y. Vassilious and P. Vassiliadis, eds., Fundamentals of Data Warehousing, 87-106. Springer, 2000
Details
Franz Baader, K.U. Schulz
Unification Theory
In W. Bibel and P.H. Schmidt, eds., Automated Deduction – A Basis for Applications, Vol. I: Foundations – Calculi and Methods, volume 8 of Applied Logic Series, 225-263. Kluwer Academic Publishers, 1998
Details
Franz Baader, J.H. Siekmann
Unification Theory
In D.M. Gabbay and C.J. Hogger and J.A. Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 41-125. Oxford University Press, 1994
Details
Franz Baader, B. Hollunder
Computing extensions of terminological default theories
In G. Lakemeyer, eds., Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Artificial Intelligence. Springer, 1994
Details

Technical Reports

Filippo De Bortoli, Franz Baader
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 23-02, August 2023
Details
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Technical Report, Computational Logic Group, 2019
Details Download
Filippo De Bortoli, Franz Baader
On the Complexity and Expressiveness of Description Logics with Counting
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 19-09, December 2019
Details
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-03, 2015. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-17, 2015. LTCS-Report
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-03, 2014. LTCS-Report
Details Download
Franz Baader, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic Revisited
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-01, 2014. LTCS-Report
Details Download
Franz Baader, Benjamin Zarrieß
Verification of Golog Programs over Description Logic Actions
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-08, 2013. LTCS-Report
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-07, 2013. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
On the Complexity of Temporal Query Answering
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-01, 2013. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-Unifiers is Hard
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-03, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-02, 2012. LTCS-Report
Details Download
Franz Baader, Alexander Okhotin
Solving Language Equations and Disequations Using Looping Tree Automata with Colors
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 12-01, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-05, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-05, 2011. LTCS-Report
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL Without the Top Concept
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 11-01, 2011. LTCS-Report
Details Download
Franz Baader, Marcel Lippmann, Hongkai Liu
Adding Causal Relationships to DL-based Action Formalisms
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-01, 2010. LTCS-Report
Details Download
Franz Baader, Barbara Morawska
SAT Encoding of Unification in EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-04, 2010. LTCS-Report
Details Download
Franz Baader, Hongkai Liu, Anees ul Mehdi
Integrate Action Formalisms into Linear Temporal Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-09-03, 2009. LTCS-Report
Details Download
Franz Baader, Martin Knechtel, Rafael Peñaloza
Computing Boundaries for Reasoning in Sub-Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-02, 2009. LTCS-Report
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-01, 2009. LTCS-Report
Details Download
Franz Baader, Rafael Peñaloza
Pinpointing in Terminating Forest Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-03, 2008. LTCS-Report
Details Download
Franz Baader, Rafael Peñaloza
Blocking and Pinpointing in Forest Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-02, 2008. LTCS-Report
Details Download
Franz Baader, Felix Distel
Exploring finite models in the Description Logic EL_gfp
Technical Report, Institute for Theoretical Computer Science, TU Dresden, volume 08-05, 2008. LTCS-Report
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 08-01, 2008. LTCS-Report
Details Download
Franz Baader, Felix Distel
A finite basis for the set of EL-implications holding in a finite model
Technical Report, Inst. für Theoretische Informatik, TU Dresden, volume 07-02, 2007
Details Download
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-02, 2006. LTCS-Report
Details Download
Franz Baader, Rafael Penaloza
Axiom Pinpointing in General Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-07-01, 2006. LTCS-Report
Details Download
Franz Baader, Alexander Okhotin
On Language Equations with One-sided Concatenation
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-01, 2006. LTCS-Report
Details Download
Franz Baader, J. Hladik, R. Penaloza
PSPACE Automata with Blocking for Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-04, 2006. LTCS-Report
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-08, 2005. LTCS-Report
Details Download
Franz Baader, S. Brandt, Carsten Lutz
Pushing the EL Envelope
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-01, 2005. LTCS-Report
Details Download
Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-02, 2005. LTCS-Report
Details Download
Franz Baader, Silvio Ghilardi
Connecting Many-Sorted Theories
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-04, 2005. LTCS-Report
Details Download
Franz Baader
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-02, 2004. LTCS-Report
Details Download
Franz Baader
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-01, 2003. LTCS-Report
Details Download
Franz Baader, Silvio Ghilardi, Cesare Tinelli
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-05, 2003. LTCS-Report
Details Download
Franz Baader
Least Common Subsumers, Most Specific Concepts, and Role-Value-Maps in a Description Logic with Existential Restrictions and Terminological Cycles
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-07, 2002. LTCS-Report
Details Download
Franz Baader
Terminological Cycles in a Description Logic with Existential Restrictions
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-02, 2002. LTCS-Report
Details Download
Franz Baader, Stephan Tobies
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 01-03, 2001. LTCS-Report
Details Download
Franz Baader, R. Küsters
Unification in a Description Logic with Transitive Closure of Roles
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 01-05, 2001. LTCS-Report
Details Download
Franz Baader, S. Brandt, R. Küsters
Matching under Side Conditions in Description Logics
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 01-02, 2001. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies – Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 00-04, 2000. LTCS-Report
Details Download
Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-99-07, 1999. LTCS-Report
Details Download
Franz Baader, R. Molitor
Rewriting Concepts using Terminologies
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-06, 1999. LTCS-Report
Details Download
Franz Baader, Cesare Tinelli
Combining Equational Theories Sharing Non-Collapse-Free Constructors
Technical Report, Department of Computer Science, University of Iowa, volume 99-13,  1999
Details Download
Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies – Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 99-12, 1999. LTCS-Report
Details Download
Franz Baader, R. Küsters
Matching Concept Descriptions with Existential Restrictions Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-13, 1999. LTCS-Report
Details Download
Franz Baader, R. Küsters
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-06, 1998. LTCS-Report
Details Download
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains, Part II (extended)
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-02, 1998. LTCS-Report
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics: Revised Version
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-07, 1998. LTCS-Report
Details Download
Franz Baader, R. Molitor, Stephan Tobies
On the Relation between Descripion Logics and Conceptual Graphs
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-11, 1998. LTCS-Report
Details Download
Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories
Technical Report, Department of Computer Science, University of Illinois at Urbana-Champaign, volume UIUCDCS-R-98-2073, 1998. {UIUCDCS}-Report
Details Download
Franz Baader, R. Molitor, Stephan Tobies
The Guarded Fragment of Conceptual Graphs
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-10, 1998. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Computing Least Common Subsumers in Description Logics with Existential Restrictions
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-09, 1998. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Structural Subsumption Considered from an Automata Theoretic Point of View
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-04, 1998. LTCS-Report
Details Download
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-01, 1997. LTCS-Report
Details Download
Franz Baader, Klaus U. Schulz
Unification Theory – An Introduction
Technical Report, Center for Language and Information Processing (CIS), volume CIS-Rep-97-103, January 1997. Research Report
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-02, 1997. LTCS-Report
Details Download
Franz Baader
On the Complexity of Boolean Unification
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-03, 1997. LTCS-Report
Details Download
Franz Baader, Ulrike Sattler
Number Restrictions on Complex Roles in Description Logics
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-02, 1996
Details Download
Franz Baader, Cesare Tinelli
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-01, 1996. LTCS-Report
Details Download
Franz Baader
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-96-05, 1996. LTCS-Report
Details Download
Franz Baader, Ulrike Sattler
Description Logics with Symbolic Number Restrictions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-03, 1996
Details Download
Franz Baader, Hans Jürgen Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
Technical Report, Max-Planck-Institut für Informatik, volume MPI-I-95-2-005, 1995. Technical Report
Details Download
Franz Baader, A. Laux
Terminological Logics with Modal Operators
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-94-33, 1994. {DFKI} Research Report
Details
Franz Baader, K. Schulz
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
Technical Report, Universität München, volume 94-82, 1994. {CIS}-Report
Details Download
Franz Baader, Klaus U. Schulz
Combination of Constraint Solving Techniques: An Algebraic Point of View
Technical Report, Center for Language and Information Processing (CIS), volume CIS-Rep-94-75, July 1994. Research Report
Details Download
Franz Baader, K. Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-13, 1993. {DFKI} Research Report
Details
Franz Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-05, 1993. {DFKI} Research Report
Details
Franz Baader, B. Hollunder, B. Nebel, H.J. Profitlich, E. Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-03, 1993. {DFKI} Research Report
Details
Franz Baader, H.-J. Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
Technical Report, Max-Planck-Institut für Informatik, Saarbrücken, volume MPI-I-93-212, 1993. {MPII} Report
Details
Franz Baader, M. Buchheit, B. Hollunder
Cardinality Restrictions on Concepts
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-48, 1993. {DFKI} Research Report
Details
Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-20, 1993. {DFKI} Research Report
Details Download
Franz Baader
Unification Theory
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-33, 1992. {DFKI} Research Report
Details
Franz Baader, K. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Technical Report, Universität München, volume 92-58, 1992. {CIS}-Report
Details
Franz Baader, B. Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-58, 1992. {DFKI} Research Report
Details
Franz Baader, P. Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-36, 1992. {DFKI} Research Report
Details
Franz Baader, P. Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-10, 1991. {DFKI} Research Report
Details Download
Franz Baader, H.-J. Bürckert, B. Nebel, W. Nutt, G. Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-01, 1991. {DFKI} Research Report
Details
Franz Baader, K. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-33, 1991. {DFKI} Research Report
Details Download
B. Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-03, 1991. {DFKI} Research Report
Details
Franz Baader, W. Nutt
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-16, 1990. {DFKI} Research Report
Details
Franz Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-13, 1990. {DFKI} Research Report
Details Download
Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Technical Report, Universität Kaiserslautern, volume {SR}-90-2, 1990. {SEKI} Report
Details
Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-10, 1990. {DFKI} Research Report
Details Download
Franz Baader
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
Technical Report, Universität Kaiserslautern, volume {SR}-90-1, 1990. {SEKI} Report
Details
Franz Baader
A Formal Definition for Expressive Power of Knowledge Representation Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-05, 1990. {DFKI} Research Report
Details
Franz Baader, H.-J. Bürckert, J. Heinsohn, J. Müller, B. Hollunder, B. Nebel, W. Nutt, H.-J. Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-04, 1990. {DFKI} Technical Memo
Details Download
Franz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-01, 1990. {DFKI} Research Report
Details
Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-03, 1990. {DFKI} Technical Memo
Details
Franz Baader
Unifikation und Reduktionssysteme für Halbgruppenvarietäten
Technical Report, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, volume 8, 1989. Arbeitsbericht
Details