Publications

• 2012, 2011,
• 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001,
• 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993, 1992, 1991,
• 1990, 1989 and older

Franz Baader, Stefan Borgwardt, and Barbara Morawska. A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. In Proceedings of the 25th International Workshop on Description Logics (DL'12), CEUR Workshop Proceedings, Rome, Italy, 2012. To appear.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Stefan Borgwardt, and Barbara Morawska. SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), Lecture Notes in Artificial Intelligence, Manchester, UK, 2012. Springer-Verlag. To appear.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Martin Knechtel, and Rafael Peñaloza. Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies. Journal of Web Semantics, 12–13:22–40, 2012. Available at http://dx.doi.org/10.1016/j.websem.2011.11.006.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader and 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, editors, Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-12), volume 7180 of Lecture Notes in Computer Science, pages 107–121, Mérida, Venezuela, 2012. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Stefan Borgwardt, Felix Distel, and Rafael Peñaloza. How Fuzzy is my Fuzzy Description Logic?. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), Lecture Notes in Artificial Intelligence, Manchester, UK, 2012. Springer-Verlag. To appear.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Stefan Borgwardt and Barbara Morawska. Finding Finite Herbrand Models. In Nikolaj Bjørner and Andrei Voronkov, editors, Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12), volume 7180 of Lecture Notes in Computer Science, pages 138–152, Mérida, Venezuela, 2012. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Stefan Borgwardt and Rafael Peñaloza. Undecidability of Fuzzy Description Logics. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, 2012. AAAI Press.
Bibtex entry  Abstract  Paper (PDF)  ©AAAI

Karsten Lehmann and Rafael Peñaloza. The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices. In Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12), 2012. To appear.
Bibtex entry  Paper (PDF)

Franz Baader. What's new in Description Logics. Informatik-Spektrum, 34(5):434–442, 2011.
Bibtex entry  Abstract  (The original publication is available at www.springerlink.com)

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska. Unification in the Description Logic EL without the Top Concept. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, pages 26–36, 2011.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska. Unification in the Description Logic EL without the Top Concept. In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors, Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume 6803 of Lecture Notes in Computer Science, pages 70–84, Wroclaw, Poland, 2011. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader and Rafael Peñaloza. Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?. In Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011), pages 1735–1742. IEEE Press, 2011.
Bibtex entry  Abstract  Paper (PDF)  ©IEEE Press

Franz Baader and Rafael Peñaloza. GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, Barcelona, Spain, 2011.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader and Rafael Peñaloza. On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm. In Cesare Tinelli and Viorica Sofronie-Stokkermans, editors, Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), volume 6989 of Lecture Notes in Aritificial Intelligence, pages 55–70, Saarbrücken, Germany, 2011. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Daniel Borchmann and Felix Distel. Mining of EL-GCIs. In The 11th IEEE International Conference on Data Mining Workshops, Vancouver, Canada, 11 December 2011. IEEE Computer Society.
Bibtex entry  Abstract  Paper (PDF)  ©IEEE Press

Stefan Borgwardt and Rafael Peñaloza. Description Logics over Lattices with Multi-valued Ontologies. In Toby Walsh, editor, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11), pages 768–773, Barcelona, Spain, 2011.
Bibtex entry  Abstract  Paper (PDF)  ©IJCAI

Stefan Borgwardt and Rafael Peñaloza. Finite Lattices Do Not Make Reasoning in ALCI Harder. In Fernando Bobillo et.al., editor, Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11), volume 778 of CEUR-WS, pages 51–62, Bonn, Germany, 2011.
Bibtex entry  Abstract  Paper (PDF)

Stefan Borgwardt and Rafael Peñaloza. Fuzzy Ontologies over Lattices with T-norms. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, pages 70–80, Barcelona, Spain, 2011. CEUR-WS.org.
Bibtex entry  Abstract  Paper (PDF)

Stefan Borgwardt and Rafael Peñaloza. The Inclusion Problem for Weighted Automata on Infinite Trees. In Pál Dömösi and Szabolcs Iván, editors, Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11), pages 108–122, Debrecen, Hungary, 2011. College of Nyíregyháza.
Bibtex entry  Abstract  Paper (PDF)

Felix Distel. Some Complexity Results about Essential Closed Sets. In Petko Valtchev and Robert Jäschke, editors, International Conference on Formal Concept Analysis, volume 6628 of LNCS, pages 81–92, 2011.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Felix Distel and Baris Sertkaya. On the complexity of enumerating pseudo-intents. Discrete Applied Mathematics, 159(6):450–466, 2011.
Bibtex entry  Abstract  ©Elsevier

Eldora, Martin Knechtel, and Rafael Peñaloza. Correcting Access Restrictions to a Consequence More Flexibly. In Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011. To appear.
Bibtex entry  Abstract  Paper (PDF)

Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter. Foundations of instance level updates in expressive description logics. Artificial Intelligence, 175(18):2170–2197, 2011.
Bibtex entry  Abstract  Paper (PDF)

Julian Mendez, Andreas Ecke, and Anni-Yasmin Turhan. Implementing completion-based inferences for the el-family. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the international Description Logics workshop, volume 745. CEUR, 2011.
Bibtex entry  Abstract  Paper (PDF)

R. Peñaloza and A.-Y. Turhan. A Practical Approach for Computing Generalization Inferences in EL. In Marko Grobelnik and Elena Simperl, editors, Proceedings of the 8th European Semantic Web Conference (ESWC'11), Lecture Notes in Computer Science. Springer-Verlag, 2011.
Bibtex entry  Abstract  Paper (PDF)

Uwe Ryssel, Felix Distel, and Daniel Borchmann. Fast Computation of Proper Premises. In Amedeo Napoli and Vilem Vychodil, editors, International Conference on Concept Lattices and Their Applications, pages 101–113. INRIA Nancy – Grand Est and LORIA, 2011.
Bibtex entry  Abstract  Paper (PDF)

Anni-Yasmin Turhan. Description Logic reasoning for Semantic Web Ontologies – Extended abstract. In Rajendra Akerkar, editor, Proceedings of the first International Conference on Web Intelligence, Mining and Semantics. ACM, 2011.
Bibtex entry  Paper (PDF)

Franz Baader, Meghyn Bienvenu, Carsten Lutz, and Frank Wolter. Query and Predicate Emptiness in Description Logics. In Fangzhen Lin and Ulrike Sattler, editors, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010). AAAI Press, 2010.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Marcel Lippmann, and 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, editors, 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), pages 82–96, Yogyakarta, Indonesia, October 2010. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  (The original publication is available at www.springerlink.com)

Franz Baader, Hongkai Liu, and Anees ul Mehdi. Verifying Properties of Infinite Sequences of Description Logic Actions. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 53–58. IOS Press, 2010.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Carsten Lutz, and Anni-Yasmin Turhan. Small is again Beautiful in Description Logics. KI – Künstliche Intelligenz, 24(1):25–33, April 2010.
Bibtex entry  Paper (PDF)  (The original publication is available at www.springerlink.com)

Franz Baader and Barbara Morawska. SAT Encoding of Unification in EL. In Christian G. Fermüller and Andrei Voronkov, editors, 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), pages 97–111, Yogyakarta, Indonesia, October 2010. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  (The original publication is available at www.springerlink.com)

Franz Baader and Barbara Morawska. Unification in the Description Logic EL. Logical Methods in Computer Science, 6(3), 2010. Special Issue of the 20th International Conference on Rewriting Techniques and Applications; also available at http://arxiv.org/abs/1006.2289.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader and Rafael Peñaloza. Automata-based Axiom Pinpointing. Journal of Automated Reasoning, 45(2):91–129, August 2010. Special Issue: Selected Papers from IJCAR 2008.
Bibtex entry  Abstract  Paper (PDF)  (The original publication is available at www.springerlink.com)

Franz Baader and Rafael Peñaloza. Axiom Pinpointing in General Tableaux. Journal of Logic and Computation, 20(1):5–34, 2010. Special Issue: Tableaux and Analytic Proof Methods.
Bibtex entry  Abstract  Paper (PDF)

Felix Distel. An Approach to Exploring Description Logic Knowledge Bases. In Baris Sertkaya and Léonard Kwuida, editors, Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, pages 209–224. Springer, 2010.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Felix Distel. Hardness of Enumerating Pseudo-Intents in the Lectic Order. In Baris Sertkaya and Léonard Kwuida, editors, Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, pages 124–137. Springer, 2010.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Martin Knechtel and Rafael Peñaloza. Correcting Access Restrictions to a Consequence. In Volker Haarslev, David Toman, and Grant Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), volume 573 of CEUR-WS, pages 220–231, 2010.
Bibtex entry  Abstract  Paper (PDF)

Martin Knechtel and Rafael Peñaloza. A Generic Approach for Correcting Access Restrictions to a Consequence. In Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, and Tania Tudorache, editors, Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010), volume 6088 of Lecture Notes in Computer Science, pages 167–182, 2010.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Martin Knechtel and Heiner Stuckenschmidt. Query-Based Access Control for Ontologies. In P. Hitzler and T. Lukasiewicz, editors, Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), volume 6333 of Lecture Notes in Computer Science, pages 73–87, 2010.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, editors. Proceedings of the First International Workshop on Uncertainty in Description Logics, number 613 in CEUR, July 2010. UniDL is a IJCAR collocated FLoC workshop. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-613/.
Bibtex entry  Abstract

Rafael Peñaloza. Using Sums-of-Products for Non-standard Reasoning. In A.-H. Dediu, H. Fernau, and C. Martín-Vide, editors, Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010), volume 6031 of Lecture Notes in Computer Science, pages 488–499. Springer-Verlag, 2010.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Rafael Peñaloza. Wie findet man die verantwortliche Axiome? Axiom-Pinpointing in Beschreibungslogiken. In Ausgezeichnete Informatikdissertationen 2009, volume D10 of Lecture Notes in Informatics, pages 181–190, Germany, 2010. Gesellschaft für Informatik. In german.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza and Baris Sertkaya. Complexity of Axiom Pinpointing in the DL-Lite Family. In Volker Haarslev, David Toman, and Grant Weddell, editors, Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, 2010.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza and Baris Sertkaya. Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 29–34. IOS Press, 2010.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza and Baris Sertkaya. On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. In Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski, editors, Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press, 2010.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza and Anni-Yasmin Turhan. Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes. In V. Haarslev, D. Toman, and G. Weddell, editors, Proc. of the 2010 Description Logic Workshop (DL'10), volume 573 of CEUR-WS, 2010.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza and Anni-Yasmin Turhan. Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. In Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, editors, Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10), volume 613 of CEUR-WS, 2010.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Anni-Yasmin Turhan. Reasoning and Explanation in EL and in Expressive Description Logics. In Uwe Asmann, Andreas Bartho, and Christian Wende, editors, Reasoning Web, number 6325 in LNCS, pages 1–27. Springer, 2010.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, and Rolf Schwitter. A Novel Architecture for Situation Awareness Systems. In Martin Giese and Arild Waaler, editors, 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, pages 77–92. Springer-Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Andreas Bauer, and Marcel Lippmann. Runtime Verification Using a Temporal Description Logic. In Silvio Ghilardi and Roberto Sebastiani, editors, Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, pages 149–164. Springer-Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Andreas Bauer, and Alwen Tiu. Matching Trace Patterns with Regular Policies. In A.H. Dediu, A.M. Ionescu, and C. Martin-Vide, editors, Proceedings of the Third International Conference on Language, and Automata Theory, and Applications (LATA 2009), volume 5457 of Lecture Notes in Artificial Intelligence, pages 105–116. Springer-Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader and Felix Distel. Exploring Finite Models in the Description Logic ELgfp. In Sébastien Ferré and Sebastian Rudolph, editors, Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, pages 146–161. Springer Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Martin Knechtel, and 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., editor, Proceedings of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, pages 49–64, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader and Barbara Morawska. Unification in the Description Logic EL. In Ralf Treinen, editor, Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009), volume 5595 of Lecture Notes in Computer Science, pages 350–364. Springer-Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Stefan Schulz, Kent Spackmann, and Bontawee Suntisrivaraporn. How Should Parthood Relations be Expressed in SNOMED CT?. In Proceedings of 1. Workshop des GI-Arbeitskreises Ontologien in Biomedizin und Lebenswissenschaften (OBML 2009), Leipzig, Germany, 2009.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader and Baris Sertkaya. Usability Issues in Description Logic Knowledge Base Completion. In Sébastien Ferré and Sebastian Rudolph, editors, Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Ingelligence, pages 1–21. Springer Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Frithjof Dau and Martin Knechtel. Access Policy Design Supported by FCA Methods. In Frithjof Dau and Sebastian Rudolph, editors, Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662 of Lecture Notes in Computer Science, pages 141–154, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, and Michael Thielscher. Putting ABox Updates into Action. In Silvio Ghilardi and Roberto Sebastiani, editors, The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009), volume 5749 of Lecture Notes in Computer Science, pages 149–164. Springer-Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, and Michael Thielscher. Putting ABox Updates into Action. In Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09), 2009.
Bibtex entry  Abstract  Paper (PDF)

Matthias Heinrich, Antje Boehm-Peters, and Martin Knechtel. A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository. In Uwe M. Borghoff and Boris Chidlovskii, editors, Proceedings of the 2009 ACM Symposium on Document Engineering (DocEng 2009), pages 43–46, 2009.
Bibtex entry  Abstract  Paper (PDF)

Kay Kadner, Gerald Huebsch, Martin Knechtel, Thomas Springer, and Christoph Pohl. Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability, chapter Platform Support for Multimodality on Mobile Devices, pages 75–105. IGI Global, 2009.
Bibtex entry  Abstract

Julian Mendez and Boontawee Suntisrivaraporn. Reintroducing CEL as an OWL 2 EL Reasoner. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza. Reasoning With Weighted Ontologies. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza. Using Tableaux and Automata for Pinpointing in EL. In Valentin Goranko, editor, TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09), 2009.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza and Baris Sertkaya. Axiom Pinpointing is Hard. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.
Bibtex entry  Abstract  Paper (PDF)

Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, and Martin Boeker. SNOMED reaching its adolescence: Ontologists' and logicians' health check. International Journal of Medical Informatics, 78(Supplement 1):S86–S94, 2009.
Bibtex entry  Abstract  Paper (PDF)

Baris Sertkaya. OntoComP: A Protege Plugin for Completing OWL Ontologies. In Proceedings of the 6th European Semantic Web Conference, (ESWC 2009), volume 5554 of Lecture Notes in Computer Science, pages 898–902. Springer Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Baris Sertkaya. OntoComP System Description. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.
Bibtex entry  Abstract  Paper (PDF)

Baris Sertkaya. Some Computational Problems Related to Pseudo-intents. In Sébastien Ferré and Sebastian Rudolph, editors, Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, pages 130–145. Springer Verlag, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Baris Sertkaya. Towards the Complexity of Recognizing Pseudo-intents. In Frithjof Dau and Sebastian Rudolph, editors, Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662, pages 284–292, 2009.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Thomas Springer and Anni-Yasmin Turhan. Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations. Journal of Ambient Intelligence and Smart Environments, 1(3):235–259, 2009.
Bibtex entry  Abstract

Franz Baader and Felix Distel. A Finite Basis for the Set of EL-Implications Holding in a Finite Model. In Raoul Medina and Sergei Obiedkov, editors, Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Artificial Intelligence, pages 46–61. Springer, 2008.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Franz Baader, Silvio Ghilardi, and Carsten Lutz. LTL over Description Logic Axioms. In Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Silvio Ghilardi, and Carsten Lutz. LTL over Description Logic Axioms. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008), 2008.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Jan Hladik, and 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.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Novak Novakovic, and Boontawee Suntisrivaraporn. A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader and Rafael Peñaloza. Automata-Based Axiom Pinpointing. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), volume 5195 of Lecture Notes in Artificial Intelligence, pages 226–241. Springer, 2008.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader and Boontawee Suntisrivaraporn. Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL^+. In Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED, volume 410 of CEUR-WS, 2008.
Bibtex entry  Abstract  Paper (PDF)

Meghyn Bienvenu. Complexity of Abduction in the EL Family of Lightweight Description Logics. In Gerhard Brewka and Jérôme Lang, editors, Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR08), pages 220–230. AAAI Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

Meghyn Bienvenu. Prime Implicate Normal Form for ALC Concepts. In Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08), pages 412–417. AAAI Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler. Answering conjunctive queries in the SHIQ description logic. Journal of Artificial Intelligence Research, 31:150–197, 2008.
Bibtex entry  Abstract  Paper (PDF)

Christoph Haase and Carsten Lutz. Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos Avouris, editors, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, pages 25–29. IOS Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

Matthias Heinrich, Antje Boehm-Peters, and Martin Knechtel. MoDDo - a tailored documentation system for model-driven software development. In ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, pages 321–324, 2008.
Bibtex entry  Abstract  Paper (PDF)

Miki Hermann and Baris Sertkaya. On the Complexity of Computing Generators of Closed Sets. In Raoul Medina and Sergei A. Obiedkov, editors, Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Computer Science, pages 158–168. Springer Verlag, 2008.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Martin Knechtel. Access restriction inside ontologies. In Rainer Ruggaber, editor, I-ESA'08: Proceedings of the 1st Internet of Services Doctoral Symposium 2008 at International Conference on Interoperability of Enterprise Systems and Applications, volume 374 of CEUR Workshop Proceedings, ISSN 1613-0073, Berlin, Germany, 2008.
Bibtex entry  Paper (PDF)

Martin Knechtel. Access rights and collaborative ontology integration for reuse across security domains. In Philippe Cudré-Mauroux, editor, Proceedings of the ESWC 2008 Ph.D. Symposium, volume 358 of CEUR Workshop Proceedings, ISSN 1613-0073, pages 36–40, 2008.
Bibtex entry  Paper (PDF)

Martin Knechtel and Jan Hladik. RBAC Authorization Decision with DL Reasoning. In ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, pages 169–176, 2008.
Bibtex entry  Abstract  Paper (PDF)

Martin Knechtel, Jan Hladik, and Frithjof Dau. Using OWL DL Reasoning to decide about authorization in RBAC. In Catherine Dolbear, Alan Ruttenberg, and Ulrike Sattler, editors, OWLED '08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions, volume 432 of CEUR Workshop Proceedings, 2008.
Bibtex entry  Paper (PDF)

Martin Knechtel and Daniel Schuster. Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web. In Proceedings of GeNeMe'08 Workshop, 2008. In German.
Bibtex entry  Paper (PDF)

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolte r. Logical Difference and Module Extraction with CEX and MEX. In Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008.
Bibtex entry  Abstract  Paper (PDF)

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL. In Kendall Clark and Peter F. Patel-Schneider, editors, In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
Bibtex entry  Abstract  Paper (PDF)

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Formal Properties of Modularisation. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNCS, pages 179–193. Springer, 2008.
Bibtex entry  Abstract  Paper (PDF)

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Semantic Modularity and Module Extraction in Description Logics. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos Avouris, editors, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, pages 55–59. IOS Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

Hongkai Liu, Carsten Lutz, and Maja Milicic. The Projection Problem for EL Actions. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Bibtex entry  Abstract  Paper (PDF)

Carsten Lutz. The Complexity of Conjunctive Query Answering in Expressive Description Logics. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNAI, pages 179–193. Springer, 2008.
Bibtex entry  Abstract  Paper (PDF)

Carsten Lutz. Two Upper Bounds for Conjunctive Query Answering in SHIQ. In Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Bibtex entry  Abstract  Paper (PDF)

Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. Temporal Description Logics: A Survey. In Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

Rafael Peñaloza. Automata-based Pinpointing for DLs. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Bibtex entry  Abstract  Paper (PDF)

Stefan Schulz, Kornél Markó, and Boontawee Suntisrivaraporn. Formal representation of complex SNOMED CT expressions. BMC Medical Informatics and Decision Making, 8(1):S9, 2008.
Bibtex entry  Abstract  Paper (PDF)

Baris Sertkaya. Explaining User Errors in Description Logic Knowledge Base Completion. In Informal Proceedings of the 2008 International Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08), 2008.
Bibtex entry  Abstract  Paper (PDF)

Baris Sertkaya. Explaining User Errors in Knowledge Base Completion. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Bibtex entry  Abstract  Paper (PDF)

Boontawee Suntisrivaraporn. Empirical evaluation of reasoning in lightweight DLs on life science ontologies. In Proceedings of the 2nd Mahasarakham International Workshop on AI (MIWAI'08), 2008.
Bibtex entry  Abstract  Paper (PDF)

Boontawee Suntisrivaraporn. Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies. In Sean Bechhofer, Manfred Hauswirth, Joerg Hoffmann, and Manolis Koubarakis, editors, Proceedings of the 5th European Semantic Web Conference (ESWC'08), volume 5021 of Lecture Notes in Computer Science, pages 230–244. Springer-Verlag, 2008.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, and Peter Haase. A Modularization-based Approach to Finding All Justifications for OWL DL Entailments. In John Domingue and Chutiporn Anutariya, editors, Proceedings of the 3th Asian Semantic Web Conference (ASWC'08), volume 5367 of Lecture Notes in Computer Science, pages 1–15. Springer-Verlag, 2008.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Alessandro Artale, Carsten Lutz, and David Toman. A Description Logic of Change. In Manuela Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pages 218–223. AAAI Press, 2007.
Bibtex entry  Abstract  Paper (PDF)

F. Baader, editor. 18th International Conference on Rewriting Techniques and Applications (RTA 2007), volume 4533 of Lecture Notes in Computer Science. Springer-Verlag, 2007.
Bibtex entry  Abstract

F. Baader and S. Ghilardi. Connecting Many-Sorted Theories. The Journal of Symbolic Logic, 72(2):535–583, 2007.
Bibtex entry  Abstract  Paper (PDF)

F. Baader, J. Hladik, and R. Peñaloza. Blocking Automata for PSPACE DLs. In D. Calvanese, E. Franconi, and S. Tessaris, editors, Proceedings of the 2007 International Workshop on Description Logics, CEUR-WS, 2007.
Bibtex entry  Abstract  Paper (PDF)

F. Baader, J. Hladik, and R. Peñaloza. SI! Automata Can Show PSPACE Results for Description Logics. In C. Martin-Vide, editor, Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA'07), 2007.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

F. Baader, I. Horrocks, and U. Sattler. Description Logics. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation, pages 135–179. Elsevier, 2007.
Bibtex entry  Abstract

Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya. Completing Description Logic Knowledge Bases using Formal Concept Analysis. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07). AAAI Press, 2007.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya. Completing Description Logic Knowledge Bases using Formal Concept Analysis. In Christine Golbreich, Aditya Kalyanpur, and Bijan Parsia, editors, Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007), volume 258. CEUR-WS, 2007.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn. Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?. In Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), 2007. To appear.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Franz Baader and Rafael Peñaloza. Axiom Pinpointing in General Tableaux. In N. Olivetti, editor, 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, pages 11–27, Aix-en-Provence, France, 2007. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL. In Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), volume 4667 of Lecture Notes in Artificial Intelligence, pages 52–67, Osnabrück, Germany, 2007. Springer-Verlag.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Franz Baader, Baris Sertkaya, and Anni-Yasmin Turhan. Computing the Least Common Subsumer w.r.t. a Background Terminology. Journal of Applied Logic, 5(3):392–420, 2007.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Journal of Applied Logic

Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler. Answering conjunctive queries in the SHIQ description logic. In Manuela Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pages 299–404. AAAI Press, 2007.
Bibtex entry  Abstract  Paper (PDF)

Stefan Göller, Markus Lohrey, and Carsten Lutz. PDL with Intersection and Converse is 2EXP-complete. In Helmut Seidl, editor, Proceedings of the Tenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), volume 4423 of Lecture Notes in Computer Science, pages 198–212. Springer-Verlag, 2007.
Bibtex entry  Abstract  Paper (PDF)

A. Krisnadhi and C. Lutz. Data Complexity in the EL family of DLs. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007. To appear.
Bibtex entry  Abstract  Paper (PDF)

Adila Krisnadhi and Carsten Lutz. Data Complexity in the EL family of Description Logics. In Nachum Dershowitz and Andrei Voronkov, editors, Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2007), volume 4790 of Lecture Notes in Artificial Intelligence, pages 333–347. Springer-Verlag, 2007.
Bibtex entry  Abstract  Paper (PDF)

C. Löding, C. Lutz, and O. Serre. Propositional Dynamic Logic with Recursive Programs. Journal of Logic and Algebraic Programming, 73:51–69, 2007.
Bibtex entry  Abstract  Paper (PDF)

C. Lutz. Inverse Roles Make Conjunctive Queries Hard. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007. To appear.
Bibtex entry  Abstract  Paper (PDF)

C. Lutz and M. Milicic. A Tableau Algorithm for DLs with Concrete Domains and GCIs. Journal of Automated Reasoning, 38(1–3):227–259, 2007.
Bibtex entry  Abstract  Paper (PDF)

Carsten Lutz, Dirk Walther, and Frank Wolter. Conservative Extensions in Expressive Description Logics. In Manuela Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pages 453–458. AAAI Press, 2007.
Bibtex entry  Abstract  Paper (PDF)

Carsten Lutz and Frank Wolter. Conservative Extensions in the Lightweight Description Logic EL. In Frank Pfenning, editor, Proceedings of the 21th Conference on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, pages 84–99. Springer-Verlag, 2007.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

Maja Milicic. Complexity of Planning in Action Formalisms Based on Description Logics. In Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2007.
Bibtex entry  Abstract  Paper (PDF)

Maja Milicic. Planning in Action Formalisms based on DLs: First Results. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
Bibtex entry  Abstract  Paper (PDF)

Stefan Schulz, Boontawee Suntisrivaraporn, and Franz Baader. SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. In Proceedings of The Medinfo 2007 Congress, Studies in Health Technology and Informatics (SHTI-series). IOS Press, 2007.
Bibtex entry  Abstract  Paper (PDF)

Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, and Kent Spackman. Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators. In Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna, editor, Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME'07), Lecture Notes in Computer Science. Springer-Verlag, 2007.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Balder ten Cate and Carsten Lutz. Query Containment in Very Expressive XPath dialects. In Leonid Libkin, editor, 26th ACM Symposium on Principles of Database Systems (PODS'07), pages 73–82. ACM Press, 2007.
Bibtex entry  Abstract  Paper (PDF)

A.-Y. Turhan and Y. Bong. Speeding up Approximation with Nicer Concepts. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A.-Y. Turhan, editors, Proc. of the 2007 Description Logic Workshop (DL 2007), 2007.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

F. Baader and C. Lutz. Description Logic. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, The Handbook of Modal Logic, pages 757–820. Elsevier, 2006.
Bibtex entry  Abstract  Paper (PS)

F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL—A Polynomial-time Reasoner for Life Science Ontologies. In U. Furbach and N. Shankar, editors, Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence, pages 287–291. Springer-Verlag, 2006.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

F. Baader, C. Lutz, and B. Suntisrivaraporn. Efficient Reasoning in EL^+. In Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

F. Baader and A. Okhotin. Complexity of Language Equations With One-Sided Concatenation and All Boolean Operations. In Jordi Levy, editor, Proceedings of the 20th International Workshop on Unification, UNIF'06, pages 59–73, 2006.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, Silvio Ghilardi, and 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.
Bibtex entry  Abstract  Paper (PDF)

P. Bonatti, C. Lutz, A. Murano, and M. Vardi. The Complexity of Enriched µ-Calculi. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, and Ingo Wegener, editors, Proccedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II (ICALP'06), volume 4052 of Lecture Notes in Computer Science, pages 540–551. Springer-Verlag, 2006.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

P. Bonatti, C. Lutz, and F. Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), pages 400–410. AAAI Press, 2006.
Bibtex entry  Abstract  Paper (PDF)

S. Brandt. Standard and Non-standard reasoning in Description Logics. Ph.D. dissertation, Institute for Theoretical Computer Science, TU Dresden, Germany, 2006.
Bibtex entry  Abstract  Paper (PDF)

S. Ghilardi, C. Lutz, and F. Wolter. Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics. In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), pages 187–197. AAAI Press, 2006.
Bibtex entry  Abstract  Paper (PDF)

S. Ghilardi, C. Lutz, F. Wolter, and M. Zakharyaschev. Conservative Extensions in Modal Logics. In Guido Governatori, Ian Hodkinson, and Yde Venema, editors, Advances in Modal Logics Volume 6, pages 187–207. College Publications, 2006.
Bibtex entry  Abstract  Paper (PDF)

Jan Hladik and Rafael Peñaloza. PSPACE Automata for Description Logics. In B. Parsia, U. Sattler, and D. Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL'06), volume 189 of CEUR-WS, 2006.
Bibtex entry  Abstract  Paper (PDF)

H. Liu, C. Lutz, M. Milicic, and F. Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach. In Proceedings of the 2006 International Workshop on Description Logics (DL2006), 2006.
Bibtex entry  Abstract  Paper (PDF)

H. Liu, C. Lutz, M. Milicic, and F. Wolter. Reasoning about Actions using Description Logics with general TBoxes. In Michael Fisher, Wiebe van der Hoek, Boris Konev, and Alexei Lisitsa, editors, Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), volume 4160 of Lecture Notes in Artificial Intelligence, pages 266–279. Springer-Verlag, 2006.
Bibtex entry  Abstract  Paper (PDF)

H. Liu, C. Lutz, M. Milicic, and F. Wolter. Updating Description Logic ABoxes. In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), pages 46–56. AAAI Press, 2006.
Bibtex entry  Abstract  Paper (PDF)

C. Lutz. Complexity and Succinctness of Public Announcement Logic. In Peter Stone and Gerhard Weiss, editors, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pages 137–144. Association for Computing Machinery (ACM), 2006.
Bibtex entry  Abstract  Paper (PDF)

C. Lutz and M. Milicic. A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods, 2006. To appear.
Bibtex entry  Abstract  Paper (PDF)

C. Lutz, D. Walther, and F. Wolter. Quantitative Temporal Logics: PSpace and below. Information and Computation, 205(1):99–123, 2006.
Bibtex entry  Abstract  Paper (PS)

C. Lutz and F. Wolter. Modal Logics of Topological Relations. Logical Methods in Computer Science, 2(2), 2006.
Bibtex entry  Abstract  Paper (PS)

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, and Sergio Tessaris. Reasoning Support for Ontology Design. In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006. To appear.
Bibtex entry  Abstract  Paper (PDF)

Baris Sertkaya. Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006). In Bernhard Ganter and Leonard Kwuida, editors, Contributions to ICFCA 2006, pages 73–86, Dresden, Germany, 2006. Verlag Allgemeine Wissenschaft.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, and Timo Weithöner. DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Anni-Yasmin Turhan, Thomas Springer, and Michael Berger. Pushing Doors for Modeling Contexts with OWL DL –a Case Study. In Jadwiga Indulska and Daniela Nicklas, editors, Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06). IEEE Computer Society, March 2006.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

D. Walther, C. Lutz, F. Wolter, and M. Wooldridge. ATL is Indeed ExpTime-complete. Journal of Logic and Computation, 16(6):765–787, 2006.
Bibtex entry  Abstract  Paper (PDF)

F. Baader and S. Ghilardi. Connecting Many-Sorted Structures and Theories through Adjoint Functions. In Proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS'05), volume 3717 of Lecture Notes in Artificial Intelligence, Vienna (Austria), 2005. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

F. Baader and S. Ghilardi. Connecting Many-Sorted Theories. In Proceedings of the 20th International Conference on Automated Deduction (CADE-05), volume 3632 of Lecture Notes in Artificial Intelligence, pages 278–294, Tallinn (Estonia), 2005. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

F. Baader, I. Horrocks, and U. Sattler. Description Logics as Ontology Languages for the Semantic Web. In D. Hutter and W. Stephan, editors, 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, pages 228–248. Springer-Verlag, 2005.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. A Description Logic Based Approach to Reasoning about Web Services. In Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), Chiba City, Japan, 2005.
Bibtex entry  Abstract  Paper (PDF)

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating Description Logics and Action Formalisms: First Results. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, USA, 2005.
Bibtex entry  Abstract  Paper (PDF)

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating Description Logics and Action Formalisms: First Results. In Proceedings of the 2005 International Workshop on Description Logics (DL2005), number 147 in CEUR-WS, 2005.
Bibtex entry  Abstract  Paper (PDF)

F. Baader, C. Lutz, and B. Suntisrivaraporn. Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?. In Proceedings of the Methods for Modalities Workshop (M4M-05), Berlin, Germany, 2005.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

F. Baader and A. Voronkonv, editors. 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004, volume 3452 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Montevideo, Uruguay, 2005.
Bibtex entry  Abstract

Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen. A New n-ary Existential Quantifier in Description Logics. In Proceedings of the 2005 International Workshop on Description Logics (DL2005), number 147 in CEUR-WS, 2005.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen. A New n-ary Existential Quantifier in Description Logics. In Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, volume 3698 of Lecture Notes in Artificial Intelligence, pages 18–33. Springer-Verlag, 2005.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Sebastian Brandt and Jörg Model. Subsumption in EL w.r.t. hybrid TBoxes. In Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

J. Hladik. A Generator for Description Logic Formulas. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proceedings of DL 2005. CEUR-WS, 2005. Available from ceur-ws.org.
Bibtex entry  Abstract  Paper (PDF)

M. Lange and C. Lutz. 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection. Journal of Symbolic Logic, 70(5):1072–1086, 2005.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. PDL with Intersection and Converse is Decidable. In Annual Conference of the European Association for Computer Science Logic CSL'05, LNCS. Springer Verlag, 2005.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, C. Areces, I. Horrocks, and U. Sattler. Keys, Nominals, and Concrete Domains. Journal of Artificial Intelligence Research, 23:667–726, 2005.
Bibtex entry  Abstract  Paper (PS)

C. Lutz and M. Milicic. A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. In Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, LNAI, Koblenz, Germany, 2005. Springer.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

C. Lutz and M. Milicic. A Tableau Algorithm for DLs with Concrete Domains and GCIs. In Proceedings of the 2005 International Workshop on Description Logics (DL2005), number 147 in CEUR-WS, 2005.
Bibtex entry  Abstract  Paper (PDF)

C. Lutz, U. Sattler, and L. Tendera. The Complexity of Finite Model Reasoning in Description Logics. Information and Computation, 199:132–171, 2005.
Bibtex entry  Abstract  Paper (PS)

C. Lutz and D. Walther. PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logic, 15(2):189–214, 2005.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, D. Walther, and F. Wolter. Quantitative Temporal Logics: PSpace and below. In Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning, Burlington, VT, USA, 2005. IEEE Computer Society Press.
Bibtex entry  Abstract  Paper (PDF)

Anni-Yasmin Turhan. Pushing the SONIC border — SONIC 1.0. In Reinhold Letz, editor, FTP 2005 — Fifth International Workshop on First-Order Theorem Proving. Technical Report University of Koblenz, 2005. http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-13-2005.pdf.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

F. 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, editors, Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2004), volume 3353 of Lecture Notes in Computer Science, pages 177–188, Bad Honnef, Germany, 2004. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

F. Baader, S. Ghilardi, and C. Tinelli. A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics. In D. Basin and M. Rusinowitch, editors, Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, pages 183–197. Springer-Verlag, 2004.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

F. Baader, I. Horrocks, and U. Sattler. Description Logics. In S. Staab and R. Studer, editors, Handbook on Ontologies, International Handbooks in Information Systems, pages 3–28. Springer–Verlag, Berlin, Germany, 2004.
Bibtex entry  Abstract

F. Baader and B. Sertkaya. Applying Formal Concept Analysis to Description Logics. In P. Eklund, editor, Proceedings of the 2nd International Conference on Formal Concept Analysis (ICFCA 2004), volume 2961 of Lecture Notes in Artificial Intelligence, pages 261–286. Springer, 2004.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

F. Baader, B. Sertkaya, and A.-Y. Turhan. Computing the Least Common Subsumer w.r.t. a Background Terminology. In José Júlio Alferes and João Alexandre Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in Computer Science, pages 400–412, Lisbon, Portugal, 2004. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Franz Baader, Baris Sertkaya, and Anni-Yasmin Turhan. Computing the Least Common Subsumer w.r.t. a Background Terminology. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Sebastian Brandt. On Subsumption and Instance Problem in ELH w.r.t. General TBoxes. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Brandt. Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?. In R. López de Mantáras and L. Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), pages 298–302. IOS Press, 2004.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Brandt and Hongkai Liu. Implementing Matching in ALN. In Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04), CEUR-WS, Ulm, Germany, September 2004.
Bibtex entry  Abstract  Paper (PDF)

Mitchell A. Harris and Edward R. Reingold. Line Drawing, Leap Years, and Euclid. ACM Computing Surveys, 36:68–80, 2004.
Bibtex entry  Abstract  Paper (PDF)

T. Hinze and M. Sturm. Rechnen mit DNA - Eine Einführung in Theorie und Praxis. R. Oldenbourg Wissenschaftsverlag München, ISBN 3-486-27530-5, 2004.
Bibtex entry  Abstract  Paper (PDF)

J. Hladik. Spinoza's Ontology. In G. Büchel, B. Klein, and T. Roth-Berghofer, editors, Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004), number RR-04-02 in DFKI Research Reports. DFKI, 2004.
Bibtex entry  Abstract  Paper (PDF)

J. Hladik. A Tableau System for the Description Logic SHIO. In Ulrike Sattler, editor, Contributions to the Doctoral Programme of IJCAR 2004. CEUR, 2004. Available from ceur-ws.org.
Bibtex entry  Abstract  Paper (PS)

J. Hladik and J. Model. Tableau Systems for SHIO and SHIQ. In V. Haarslev and R. Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL 2004). CEUR, 2004. Available from ceur-ws.org.
Bibtex entry  Abstract  Paper (PDF)

E. Karabaev and C. Lutz. Mona as a DL Reasoner. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Bibtex entry  Abstract  Paper (PS)

R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporal Tableaux. Studia Logica, 76(1):91–134, 2004.
Bibtex entry  Abstract  Paper (PS)

O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-Connections of Abstract Description Systems. Artificial Intelligence, 156(1):1–73, 2004.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. Combining Interval-based Temporal Reasoning with General TBoxes. Artificial Intelligence, 152(2):235–274, 2004.
Bibtex entry  Abstract  Paper (PS)

C. Lutz and M. Milicic. Description Logics with Concrete Domains and Functional Dependencies. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), 2004. To appear.
Bibtex entry  Abstract  Paper (PS)

C. Lutz and D. Walther. PDL with Negation of Atomic Programs. In Proceedings of the 2nd International Joint Conference on Automated Reasoning IJCAR'04, Lecture Notes in Artificial Intelligence. Springer Verlag, 2004. To appear.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

C. Lutz and F. Wolter. Modal Logics of Topological Relations. In Proceedings of Advances in Modal Logics 2004, 2004.
Bibtex entry  Abstract  Paper (PS)

Carsten Lutz. NExpTime-complete Description Logics with Concrete Domains. ACM Transactions on Computational Logic, 5(4):669–705, 2004.
Bibtex entry  Abstract

Baris Sertkaya and Halit Oguztuzun. Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL. In C. Aykanat, T. Dayar, and I. Korpeoglu, editors, Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS2004), volume 3280 of Lecture Notes in Computer Science, pages 976–985. Springer, 2004.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Anni-Yasmin Turhan and Christian Kissig. Sonic—Non-standard Inferences go OilEd. In D. Basin and M. Rusinowitch, editors, Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2004.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Anni-Yasmin Turhan and Christian Kissig. Sonic—System Description. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

F. Baader, J. Hladik, C. Lutz, and F. Wolter. From Tableaux to Automata for Description Logics. In Moshe Vardi and Andrei Voronkov, editors, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, pages 1–32. Springer, 2003.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader, R Küsters, and F. Wolter. Extensions to Description Logics. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 219–261. Cambridge University Press, 2003.
Bibtex entry  Abstract

F. Baader and W. Nutt. Basic Description Logics. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 43–95. Cambridge University Press, 2003.
Bibtex entry  Abstract

F. Baader and U. Sattler. Description Logics with Aggregates and Concrete Domains. Information Systems, 28(8):979–1004, 2003.
Bibtex entry  Abstract  Paper (PS)  Free reprint

Franz Baader. Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics. In Proceedings of the 11th International Conference on Conceptual Structures, ICCS 2003, volume 2746 of Lecture Notes in Artificial Intelligence, pages 117–130. Springer-Verlag, 2003.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Franz Baader. The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics. In Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, volume 2821 of Lecture Notes in Artificial Intelligence, pages 64–78, Hamburg, Germany, 2003. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

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, editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence, pages 319–324. Morgan Kaufman, 2003.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader, editor. Proceedings of the 19th International Conference on Automated Deduction CADE-19, volume 2741 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Miami Beach, FL, USA, 2003.
Bibtex entry

Franz Baader. Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PDF)

Franz Baader. Terminological Cycles in a Description Logic with Existential Restrictions. In Georg Gottlob and Toby Walsh, editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence, pages 325–330. Morgan Kaufmann, 2003.
Bibtex entry  Abstract

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
Bibtex entry  Abstract

Franz Baader, Jan Hladik, Carsten Lutz, and Frank Wolter. From Tableaux to Automata for Description Logics. Fundamenta Informaticae, 57:1–33, 2003.
Bibtex entry  Abstract  Paper (PS)

Sebastian Brandt. Implementing Matching in ALE—First Results. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

Sebastian Brandt and Anni-Yasmin Turhan. Computing least common subsumers for FLE^+. In Proceedings of the 2003 International Workshop on Description Logics, CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PS)

Sebastian Brandt, Anni-Yasmin Turhan, and Ralf Küsters. Extensions of Non-standard Inferences to Description Logics with transitive Roles. In Moshe Vardi and Andrei Voronkov, editors, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Lecture Notes in Computer Science. Springer, 2003.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

Nachum Dershowitz and Mitchell A. Harris. Enumerating Satisfiable Propositional Formulae. In Eurocomb, 2003.
Bibtex entry  Abstract  Paper (PDF)

J. Hladik and U. Sattler. A Translation of Looping Alternating Automata to Description Logics. In Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2003.
Bibtex entry  Paper (PS)  ©Springer-Verlag

Jan Hladik. Reasoning about Nominals with FaCT and RACER. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks and U. Sattler. Decidability of SHIQ with Complex Role Inclusion Axioms. In Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003). Morgan-Kaufmann Publishers, 2003.
Bibtex entry  Paper (PDF)

O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of Description Logics. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. Description Logics with Concrete Domains—A Survey. In Advances in Modal Logics Volume 4. World Scientific Publishing Co. Pte. Ltd., 2003.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, C. Areces, I. Horrocks, and U. Sattler. Keys, Nominals, and Concrete Domains. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, Acapulco, Mexico, 2003. Morgan-Kaufmann Publishers.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, U. Sattler, and L. Tendera. The Complexity of Finite Model Reasoning in Description Logics. In Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2003.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

C. Lutz, U.Sattler, and L. Tendera. Finite Model reasoning in ALCQI is ExpTime-complete. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, F. Wolter, and M. Zakharyaschev. Reasoning about concepts and similarity. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, F. Wolter, and M. Zakharyaschev. A tableau algorithm for reasoning about concepts and similarity. In Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, LNAI, Rome,Italy, 2003. Springer.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

U. Sattler. Description Logics for Ontologies. In Proc. of the International Conference on Conceptual Structures (ICCS 2003), volume 2746 of LNAI. Springer Verlag, 2003.
Bibtex entry  Paper (PS)  ©Springer-Verlag

U. Sattler, D. Calvanese, and R. Molitor. Relationship with other Formalisms. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 137–177. Cambridge University Press, 2003.
Bibtex entry  Abstract

F. Baader, I. Horrocks, and U. Sattler. Description Logics for the Semantic Web. KI – Künstliche Intelligenz, 4, 2002.
Bibtex entry  Abstract

F. Baader and R. Küsters. Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. In I. Horrocks and S. Tessaris, editors, Proceedings of the 2002 International Workshop on Description Logics, Toulouse, France, 2002. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-53/.
Bibtex entry  Abstract  Paper (PS)

F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of Description Logics and Abstract Description Systems. Journal of Artificial Intelligence Research (JAIR), 16:1–58, 2002.
Bibtex entry  Abstract  Paper (PS)

F. Baader and C. Tinelli. Combining Decision Procedures for Positive Theories Sharing Constructors. In S. Tison, editor, Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA-02), volume 2378 of Lecture Notes in Computer Science, pages 338–352, Copenhagen, Denmark, 2002. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader and C. Tinelli. Deciding the Word Problem in the Union of Equational Theories. Information and Computation, 178(2):346–390, 2002.
Bibtex entry  Abstract  Free reprint

F. Baader and A.-Y. Turhan. On the problem of computing small representations of least common subsumers. In Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002), Lecture Notes in Artificial Intelligence, Aachen, Germany, 2002. Springer–Verlag.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

S. Brandt, R. Küsters, and A.-Y. Turhan. Approximating ALCN-Concept Descriptions. In Proceedings of the 2002 International Workshop on Description Logics, 2002.
Bibtex entry  Abstract  Paper (PS)

S. Brandt, R. Küsters, and A.-Y. Turhan. Approximation and Difference in Description Logics. In D. Fensel, F. Giunchiglia, D. McGuiness, and M.-A. Williams, editors, Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 203–214, San Francisco, CA, 2002. Morgan Kaufman.
Bibtex entry  Abstract  Paper (PS)

S. Brandt and A.-Y. Turhan. An Approach for Optimized Approximation. In Proceedings of the KI-2002 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS, Aachen, Germany, September 2002. RWTH Aachen. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/.
Bibtex entry  Abstract  Paper (PS)

S. Demri and U. Sattler. Automata-Theoretic Decision Procedures for Information Logics. Fundamenta Informaticae, 53(1):1–22, 2002.
Bibtex entry  Paper (PS)

T. Hinze. Universelle Modelle und ausgewählte Algorithmen des DNA-Computing. PhD thesis, Technische Universität Dresden, 2002.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

T. Hinze, U. Hatnik, and M. Sturm. An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification. In N. Jonoska and N.C. Seeman, editors, DNA Computing. Proceedings Seventh International Workshop on DNA-Based Computers (DNA7) Tampa, FL, USA, 2001, volume 2340 of Series Lecture Notes in Computer Science. Springer Verlag, 2002.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

J. Hladik. Implementation and evaluation of a tableau algorithm for the Guarded Fragment. In I. Horrocks and S. Tessaris, editors, Proceedings of the 2002 international workshop on description Logics (DL 2002), volume 53 of CEUR, Toulouse, France, 2002.
Bibtex entry  Abstract  Paper (PS)

J. Hladik. Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. In U. Egly and C. G. Fermüller, editors, Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2002), volume 2381 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2002.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

I. Horrocks and U. Sattler. Optimised Reasoning for SHIQ. In Proc. of the 15th European Conference on Artificial Intelligence, 2002.
Bibtex entry  Paper (PS)  Paper (PDF)

O. Kupferman, U. Sattler, and M. Y. Vardi. The Complexity of the Graded mu-Calculus. In Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2002.
Bibtex entry  Paper (PS)  ©Springer-Verlag

C. Lutz. Adding Numbers to the SHIQ Description Logic—First Results. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002). Morgan Kaufman, 2002. To appear.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. Description Logics with Concrete Domains—A Survey. In Advances in Modal Logic 2002 (AiML 2002), Toulouse, France, 2002. Final version appeared in Advanced in Modal Logic Volume 4, 2003.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. PSpace Reasoning with the Description Logic ALCF(D). Logic Journal of the IGPL, 10(5):535–568, 2002.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. In Proceedings of the 2002 International Workshop on Description Logics, 2002. To appear.
Bibtex entry  Abstract  Paper (PS)

C. Lutz and U. Sattler. A Proposal for Describing Services with DLs. In Proceedings of the 2002 International Workshop on Description Logics, 2002. To appear.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev. A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica, 72(2):199–232, 2002.
Bibtex entry  Abstract  Paper (PDF)

G. Pan, U. Sattler, and M. Y. Vardi. BDD-Based Decision Procedures for K. In Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2002.
Bibtex entry  Paper (PS)  ©Springer-Verlag

F. Baader, G. Brewka, and Th. Eiter, editors. 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–Verlag, Vienna, Austria, 2001.
Bibtex entry

F. Baader and R. Küsters. Unification in a Description Logic with Transitive Closure of Roles. In R. Nieuwenhuis and A. Voronkov, editors, Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2001), volume 2250 of Lecture Notes in Computer Science, pages 217–232, Havana, Cuba, 2001. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader and P. Narendran. Unification of Concepts Terms in Description Logics. J. Symbolic Computation, 31(3):277–305, 2001.
Bibtex entry  Abstract  Free reprint

F. Baader and U. Sattler. An Overview of Tableau Algorithms for Description Logics. Studia Logica, 69:5–40, 2001.
Bibtex entry  Abstract  Paper (PS)

F. Baader and K. Schulz. Combining Constraint Solving. In H. Comon, C. Marché, and R. Treinen, editors, Constraints in Computational Logics, volume 2002 of Lecture Notes in Computer Science. Springer–Verlag, 2001. See http://link.springer.de/link/service/series/0558/tocs/t2002.htm.
Bibtex entry  Abstract  Paper (PS)

F. Baader and W. Snyder. Unification Theory. In J.A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume I, pages 447–533. Elsevier Science Publishers, 2001. See the handbook Web pages of Andrei Voronkov (http://www.cs.man.ac.uk/˜voronkov/handbook-ar/index.html) and Elsevier (http://www.elsevier.nl/locate/isbn/0444829490).
Bibtex entry  Abstract  Paper (PS)  Free reprint

F. Baader and S. Tobies. The Inverse Method Implements the Automata Approach for Modal Satisfiability. In Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, volume 2083 of Lecture Notes in Artificial Intelligence, pages 92–106. Springer-Verlag, 2001.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader and A.-Y. Turhan. TBoxes do not yield a compact representation of least common subsumers. In Proceedings of the International Workshop in Description Logics 2001 (DL2001), Stanford, USA, August 2001.
Bibtex entry  Abstract  Paper (PS)

S. Brandt and A.-Y. Turhan. Using Non-standard Inferences in Description Logics — what does it buy me?. In Proceedings of the KI-2001 Workshop on Applications of Description Logics (KIDLWS'01), number 44 in CEUR-WS, Vienna, Austria, September 2001. RWTH Aachen. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-44/.
Bibtex entry  Abstract  Paper (PS)

V. Haarslev, R. Möller, and A.-Y. Turhan. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, LNAI. Springer Verlag, 2001.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

U. Hatnik, T. Hinze, and M. Sturm. A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation. In V.V. Kluev and N.E. Mastorakis, editors, Proceedings WSES International Conference on Simulation (SIM2001), Malta, 2001.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

C. Hirsch and S. Tobies. A Tableau Algorithm for the Clique Guarded Fragment. In F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, editors, Advances in Modal Logics Volume 3, Stanford, 2001. CSLI Publications.
Bibtex entry  Abstract  Paper (PS)

J. Hladik. Implementierung eines Entscheidungsverfahrens für das Bewachte Fragment der Prädikatenlogik. Diploma thesis, RWTH Aachen, Germany, 2001.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks and U. Sattler. Ontology Reasoning in the SHOQ(D) Description Logic. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. Interval-based Temporal Reasoning with General TBoxes. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence IJCAI-01, pages 89–94, Seattle, Washington, USA, 2001. Morgan-Kaufmann Publishers.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. NExpTime-complete Description Logics with Concrete Domains. In Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, editors, Proceedings of the International Joint Conference on Automated Reasoning, number 2083 in Lecture Notes in Artifical Intelligence, pages 45–60, Siena, Italy, 2001. Springer Verlag.
Bibtex entry  Abstract  Paper (PS)

C. Lutz and U. Sattler. The Complexity of Reasoning with Boolean Modal Logics. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, and Michael Zakharyaschev, editors, Advances in Modal Logics Volume 3. CSLI Publications, Stanford, 2001.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, U. Sattler, and F. Wolter. Description Logics and the Two-Variable Fragment. In D.L. McGuiness, P.F. Pater-Schneider, C. Goble, and R. Möller, editors, Proceedings of the 2001 International Workshop in Description Logics (DL-2001), pages 66–75, Stanford, California, USA, 2001. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, U. Sattler, and F. Wolter. Modal Logics and the two-variable fragment. In Annual Conference of the European Association for Computer Science Logic CSL'01, LNCS, Paris, France, 2001. Springer Verlag.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev. Tableaux for Temporal Description Logic with Constant Domain. In Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, editors, Proceedings of the International Joint Conference on Automated Reasoning, number 2083 in Lecture Notes in Artifical Intelligence, pages 121–136, Siena, Italy, 2001. Springer Verlag.
Bibtex entry  Abstract  Paper (PS)

U. Sattler and M. Y. Vardi. The Hybrid mu-Calculus. In R. Goré, A. Leitsch, and T. Nipkow, editors, Proceedings of the International Joint Conference on Automated Reasoning, volume 2083 of LNAI, pages 76–91. Springer Verlag, 2001.
Bibtex entry  Abstract  Paper (PS)

E.P. Stoschek, M. Sturm, and T. Hinze. DNA-Computing - ein funktionales Modell im laborpraktischen Experiment. Informatik Forschung und Entwicklung, 16(1):35–52, 2001.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

M. Sturm and T. Hinze. Distributed Splicing of RE with 6 Test Tubes. Romanian Journal of Information Science and Technology, 4(1-2):211–234, 2001.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

M. Sturm and T. Hinze. Verfahren zur Ausführung von mathematischen Operationen mittels eines DNA-Computers und DNA-Computer hierzu. Anmeldung als Deutsches Patent, Aktenzeichen 10159886.6, Deutsches Patentamt München, 2001.
Bibtex entry

Stephan Tobies. PSPACE Reasoning for Graded Modal Logics. Journal of Logic and Computation, 11(1):85–106, 2001.
Bibtex entry  Abstract  Paper (PS)

A.-Y. Turhan and R. Molitor. Using lazy unfolding for the computation of least common subsumers. In Proceedings of the International Workshop in Description Logics 2001 (DL2001), Stanford, USA, August 2001.
Bibtex entry  Abstract  Paper (PS)

F. Baader, R. Küsters, and R. Molitor. Rewriting Concepts Using Terminologies. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), pages 297–308, San Francisco, CA, 2000. Morgan Kaufmann Publishers.
Bibtex entry  Abstract  Paper (PS)

F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of Description Logics. In F. Baader and U. Sattler, editors, Proceedings of the International Workshop in Description Logics 2000 (DL2000), number 33 in CEUR-WS, pages 21–30, Aachen, Germany, August 2000. RWTH Aachen. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/.
Bibtex entry  Abstract  Paper (PS)

F. Baader and R. Molitor. Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. In B. Ganter and G. Mineau, editors, 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, pages 290–303. Springer Verlag, 2000.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader and U. Sattler. Tableau Algorithms for Description Logics. In R. Dyckhoff, editor, Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000), volume 1847 of Lecture Notes in Artificial Intelligence, pages 1–18, St Andrews, Scotland, UK, 2000. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader and C. Tinelli. Combining Equational Theories Sharing Non-Collapse-Free Constructors. In H. Kirchner and Ch. Ringeissen, editors, Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), volume 1794 of Lecture Notes in Computer Science, pages 257–271, Nancy, France, 2000. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

S. Brandt. Matching under Side Conditions in Description Logics. Diploma thesis, RWTH Aachen, Germany, 2000.
Bibtex entry  Abstract  Paper (PS)

E. Franconi, F. Baader, U. Sattler, and P. Vassiliadis. Multidimensional Data Models and Aggregation. In M. Jarke, M. Lenzerini, Y. Vassilious, and P. Vassiliadis, editors, Fundamentals of Data Warehousing, pages 87–106. Springer-Verlag, 2000.
Bibtex entry

T. Hinze and M. Sturm. Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation. In R. Freund, editor, Proceedings Theorietag 2000 (TT2000) Wien, 2000.
Bibtex entry  Abstract  Paper (PS)

C. Hirsch and S. Tobies. A Tableau Algorithm for the Clique Guarded Fragment. In Proceedings of the Workshop Advances in Modal Logic AiML 2000, Leipzig, Germany, 2000. Final version appeared in Advanced in Modal Logic Volume 3, 2001.
Bibtex entry  Abstract  Paper (PS)

Jan Hladik. Implementing the n-ary Description Logic GF1-. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany, 2000.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. How to decide Query Containment under Constraints using a Description Logic. In Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB-2000), 2000.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. How to decide Query Containment under Constraints using a Description Logic. In Andrei Voronkov, editor, Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), number 1955 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239–264, May 2000.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks, U. Sattler, and S. Tobies. Reasoning with Individuals for the Description Logic SHIQ. In David MacAllester, editor, Proceedings of the 17th International Conference on Automated Deduction (CADE-17), number 1831 in Lecture Notes in Computer Science, Germany, 2000. Springer Verlag.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks and S. Tobies. Optimisation of Terminological Reasoning. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks and S. Tobies. Reasoning with Axioms: Theory and Practice. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), San Francisco, CA, 2000. Morgan Kaufmann Publishers.
Bibtex entry  Abstract  Paper (PS)

C. Lutz. NExpTime-Complete Description Logics with Concrete Domains. In C. Pilière, editor, Proceedings of the ESSLLI-2000 Student Session, University of Birmingham, August 2000.
Bibtex entry  Abstract  Paper (PS)

C. Lutz and U. Sattler. The Complexity of Reasoning with Boolean Modal Logic. In Advances in Modal Logic 2000 (AiML 2000), Leipzig, Germany, 2000. Final version appeared in Advanced in Modal Logic Volume 3, 2001.
Bibtex entry

C. Lutz and U. Sattler. Mary likes all Cats. In F. Baader and U. Sattler, editors, Proceedings of the 2000 International Workshop in Description Logics (DL2000), number 33 in CEUR-WS, pages 213–226, Aachen, Germany, August 2000. RWTH Aachen. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/.
Bibtex entry  Abstract  Paper (PS)

R. Molitor and C.B. Tresp. Extending Description Logics to Vague Knowledge in Medicine. In P. Szczepaniak, P.J.G. Lisboa, and S. Tsumoto, editors, Fuzzy Systems in Medicine, volume 41 of Studies in Fuzziness and Soft Computing, pages 617–635. Springer Verlag, 2000.
Bibtex entry  Abstract

U. Sattler. Description Logics for the Representation of Aggregated Objects. In W.Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence. IOS Press, Amsterdam, 2000.
Bibtex entry  Paper (PS)

E.P. Stoschek, M. Sturm, and T. Hinze et.al. Molekularbiologisches Verfahren zur Lösung von NP-Problemen. Deutsches Patent DE 198 53 726 A 1, IPC C12N 15/10, Deutsches Patentamt München, 2000.
Bibtex entry

Stephan Tobies. The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. Journal of Artificial Intelligence Research, 12:199–217, May 2000.
Bibtex entry  Abstract  Paper (PS)

A. Artale and C. Lutz. A Correspondance between Temporal Description Logics. In Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, and Peter Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics (DL'99), number 22 in CEUR-WS, pages 145–149, Linkoeping, Sweden, July 30 – August 1 1999. Linköping University. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/.
Bibtex entry  Abstract  Paper (PS)

F. Baader. Logic-Based Knowledge Representation. In M.J. Wooldridge and M. Veloso, editors, Artificial Intelligence Today, Recent Trends and Developments, number 1600 in Lecture Notes in Computer Science, pages 13–41. Springer Verlag, 1999.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader and R. Küsters. Matching in Description Logics with Existential Restrictions. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics 1999 (DL'99), number 22 in CEUR-WS, Sweden, 1999. Linköping University. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/.
Bibtex entry  Abstract  Paper (PS)

F. Baader, R. Küsters, A. Borgida, and D. McGuinness. Matching in Description Logics. Journal of Logic and Computation, 9(3):411–447, 1999.
Bibtex entry  Abstract

F. Baader, R. Küsters, and R. Molitor. Computing Least Common Subsumers in Description Logics with Existential Restrictions. In T. Dean, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), pages 96–101. Morgan Kaufmann, 1999.
Bibtex entry  Abstract

F. Baader and R. Molitor. Rewriting Concepts Using Terminologies. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics 1999 (DL'99), number 22 in CEUR-WS, Sweden, 1999. Linköping University. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/.
Bibtex entry  Abstract  Paper (PS)

F. Baader, R. Molitor, and S. Tobies. Tractable and Decidable Fragments of Conceptual Graphs. In W. Cyre and W. Tepfenhart, editors, Proceedings of the Seventh International Conference on Conceptual Structures (ICCS'99), number 1640 in Lecture Notes in Computer Science, pages 480–493. Springer Verlag, 1999.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader and U. Sattler. Expressive Number Restrictions in Description Logics. Journal of Logic and Computation, 9(3):319–350, 1999.
Bibtex entry  Abstract  Paper (PS)

F. Baader and C. Tinelli. Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. In P. Narendran and M. Rusinowitch, editors, Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), volume 1631 of Lecture Notes in Computer Science, pages 175–189, Trento, Italy, 1999. Springer-Verlag.
Bibtex entry  Abstract  ©Springer-Verlag

Franz Baader and Cesare Tinelli. Combining Equational Theories Sharing Non-Collapse-Free Constructors. Technical Report 99-13, Department of Computer Science, University of Iowa, October 1999.
Bibtex entry  Abstract  Paper (PS)

A. Borgida and R. Küsters. What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases. Technical Report DCS-TR-391, Rutgers University, USA, 1999.
Bibtex entry  Paper (PS)

Cyril Decleir, Mohand-Said Hacid, and Jacques Kouloumdjian. A Database Approach for Modeling and Querying Video Data. In Masaru Kitsuregawa, Leszek Maciaszek, and Mike Papazoglou, editors, Proceedings of the 15th International Conference on Data Engineering, Sydney, Australia, pages 6–13. IEEE Computer Society, March 1999.
Bibtex entry  Abstract  Paper (PS)

E. Franconi and U. Sattler. A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. In Workshop on Design and Management of Data Warehouses (DMDW'99), Heidelberg, Germany, June 1999.
Bibtex entry  Paper (PS)

E. Franconi and U. Sattler. A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report. Italian Association for Artificial Intelligence AI*IA Notizie, 1:9–21, 1999.
Bibtex entry  Paper (PS)

V. Haarslev, C. Lutz, and R. Möller. A Description Logic with Concrete Domains and Role-forming Predicates. Journal of Logic and Computation, 9(3):351–384, 1999.
Bibtex entry  Abstract  Paper (PS)

Mohand-Said Hacid and Christophe Rigotti. Representing and Reasoning on Conceptual Queries Over Image Databases. In Zbigniew W. Ras and Andrzej Skowron, editors, Proceedings of the Eleventh International Symposium on Methodologies for Intelligent Systems, Warsaw, Poland, LNCS 1609, pages 340–348. Springer, June 1999.
Bibtex entry  Abstract  Paper (PS)

I. Horrocks and U. Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation, 9(3):385–410, 1999.
Bibtex entry  Abstract

Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies. In Proceedings of the 1999 Workshop Methods for Modalities (M4M-1), Amsterdam, 1999.
Bibtex entry  Abstract  Paper (PS)

Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical Reasoning for Expressive Description Logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161–180. Springer-Verlag, September 1999.
Bibtex entry  Abstract  Paper (PS)

Stephan Kepser and Jörn Richts. Optimisation Techniques for Combining Constraint Solvers. In Dov Gabbay and Maarten de Rijke, editors, Frontiers of Combining Systems 2, Papers presented at FroCoS'98, pages 193–210, Amsterdam, 1999. Research Studies Press/Wiley.
Bibtex entry  Abstract  Paper (PS)

Stephan Kepser and Jörn Richts. UniMoK: A System for Combining Equational Unification Algorithms. In Rewriting Techniques and Applications, Proceedings RTA-99, volume 1631 of Lecture Notes in Computer Science, pages 248–251. Springer-Verlag, 1999.
Bibtex entry

R. Küsters and A. Borgida. What's in an Attribute? Consequences for the Least Common Subsumer. Technical Report DCS-TR-404, Rutgers University, USA, 1999.
Bibtex entry  Abstract  Paper (PS)

Ralf Küsters. What's in a name? — First Steps Towards a Structural Approach to Integrating Large Content-based Knowledge-Bases. In S. Abiteboul, D. Florescu, A. Levy, and G. Moerkotte, editors, Foundations for Information Integration, Dagstuhl-Seminar-Report 244, 1999. ISSN 0940-1121.
Bibtex entry  Abstract

C. Lutz. Complexity of Terminological Reasoning Revisited. In Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, Lecture Notes in Artificial Intelligence, pages 181–200. Springer-Verlag, September 6 – 10, 1999.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

C. Lutz. Reasoning with Concrete Domains. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI-99, pages 90–95, Stockholm, Sweden, July 31 – August 6, 1999. Morgan-Kaufmann Publishers.
Bibtex entry  Abstract  Paper (PS)

C. Lutz, U. Sattler, and S. Tobies. A Suggestion for an n-ary Description Logic. In Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, and Peter Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics, number 22 in CEUR-WS, pages 81–85, Linkoeping, Sweden, July 30 – August 1 1999. Linköping University. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/.
Bibtex entry  Abstract  Paper (PS)

S .Tobies. A NExpTime-complete Description Logic Strictly Contained in C^2. In J. Flum and M. Rodríguez-Artalejo, editors, Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL-99), LNCS 1683, pages 292–306. Springer-Verlag, 1999.
Bibtex entry  Abstract  Paper (PS)  Extended technical report (PS)

S. Tobies. On the Complexity of Counting in Description Logics. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics 1999 (DL'99), number 22 in CEUR-WS, Sweden, 1999. Linköping University. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/.
Bibtex entry  Abstract  Paper (PS)

S. Tobies. A PSpace Algorithm for Graded Modal Logic. In H. Ganzinger, editor, Automated Deduction – CADE-16, 16th International Conference on Automated Deduction, LNAI 1632, pages 52–66, Trento, Italy, July 7–10, 1999. Springer-Verlag.
Bibtex entry  Abstract  Paper (PS)

Can Adam Albayrak and Thomas Noll. The WHILE Hierarchy of Program Schemes is Infinite. In Maurice Nivat, editor, Proceedings of Foundations of Software Science and Computation Structures, pages 35–47. LNCS 1378, Springer, 1998.
Bibtex entry

F. Baader. On the Complexity of Boolean Unification. Information Processing Letters, 67(4):215–220, 1998.
Bibtex entry  Abstract

F. Baader, A. Borgida, and D.L. McGuinness. Matching in Description Logics: Preliminary Results. In M.-L. Mugnier and M. Chein, editors, Proceedings of the Sixth International Conference on Conceptual Structures (ICCS-98), volume 1453 of Lecture Notes in Computer Science, pages 15–34, Montpelier (France), 1998. Springer–Verlag.
Bibtex entry  Abstract

F. Baader and 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, editors, Proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, volume 1504 of Lecture Notes in Computer Science, pages 129–140, Bremen, Germany, 1998. Springer–Verlag.
Bibtex entry  Abstract

F. Baader and R. Küsters. Least common subsumer computation w.r.t. cyclic ALN-terminologies. In Proceedings of the 1998 International Workshop on Description Logics (DL'98), Trento, Italy, 1998.
Bibtex entry  Abstract  Paper (PS)

F. Baader, R. Küsters, and R. Molitor. Structural Subsumption Considered from an Automata Theoretic Point of View. In Proceedings of the 1998 International Workshop on Description Logics DL'98, Trento, Italy, 1998.
Bibtex entry  Abstract  Paper (PS)

F. Baader and P. Narendran. Unification of Concept Terms in Description Logics. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 331–335. John Wiley & Sons Ltd, 1998.
Bibtex entry  Abstract

F. Baader and U. Sattler. Description Logics with Concrete Domains and Aggregation. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 336–340. John Wiley & Sons Ltd, 1998.
Bibtex entry  Paper (PS)

F. Baader and K. Schulz. Combination of Constraint Solvers for Free and Quasi-Free Structures. Theoretical Computer Science, 192:107–161, 1998.
Bibtex entry  Abstract  Free reprint

F. Baader and K.U. Schulz. Unification Theory. In W. Bibel and P.H. Schmidt, editors, Automated Deduction – A Basis for Applications, Vol. I: Foundations – Calculi and Methods, volume 8 of Applied Logic Series, pages 225–263. Kluwer Academic Publishers, Dordrecht, NL, 1998.
Bibtex entry  Abstract

F. Baader and C. Tinelli. Deciding the Word Problem in the Union of Equational Theories. UIUCDCS-Report UIUCDCS-R-98-2073, Department of Computer Science, University of Illinois at Urbana-Champaign, 1998.
Bibtex entry  Abstract  Paper (PS)

Franz Baader and Tobias Nipkow. Term Rewriting and All That. Cambridge University Press, United Kingdom, 1998.
Bibtex entry  Abstract

Cyril Decleir, Mohand-Said Hacid, and Jacques Kouloumdjian. Modeling and Querying Video Data: A Hybrid Approach. In Proceedings of the IEEE Workshop on Content-Based Access of Image & Video Libraries (CBAIVL'98), Santa Barbara, CA, USA, pages 86–90. IEEE Computer Society, June 1998.
Bibtex entry  Abstract  Paper (PS)

Cyril Decleir, Mohand-Said Hacid, and Jacques Kouloumdjian. Modeling and Querying Video Databases. In Proceedings 24th EUROMICRO'98 Conference Workshop on Multimedia and Telecommunications, Vasteras, Sweden, pages 492–498. IEEE Computer Society, August 1998.
Bibtex entry  Abstract  Paper (PS)

H.-W. Denker, J. Hiltner, H.-P. Hohn, D. C. Novak, B. Reusch, C. Tresp, and J. Weidemann. Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm. W. de Gruyter, 1998.
Bibtex entry

I. Horrocks and U. Sattler. A Description Logic with Transitive and Converse Roles and Role Hierarchies. In Proceedings of the International Workshop on Description Logics, Povo - Trento, Italy, 1998. IRST.
Bibtex entry  Paper (PS)

R. Küsters. Characterizing the Semantics of Terminological Cycles in ALN using Finite Automata. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 499–510. Morgan Kaufmann, 1998.
Bibtex entry  Abstract

Martin Leucker and Stephan Tobies. Truth—A Platform for Verification of Distributed Systems. Aachener Informatik Bericht 98-05, RWTH Aachen, May 1998.
Bibtex entry  Abstract  Paper (PS)

U. Sattler. Terminological knowledge representation systems in a process engineering application. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, 1998.
Bibtex entry  Abstract  Paper (PS)

Stephan Tobies. Design und Implementierung einer Plattform zur Verifikation verteilter Systeme. Diploma thesis, RWTH Aachen, Germany, 1998.
Bibtex entry  Abstract  Paper (PS)

C. Tresp and U. Tüben. Medical Terminology Processing for a Tutoring System. In International Conference on Computational Intelligence and Multimedia Applications (ICCIMA98), Monash Univ. (Australien), Februar 1998.
Bibtex entry

C.B. Tresp and R. Molitor. A Description Logic for Vague Knowledge. In Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98), pages 361–365, Brighton, UK, 1998. J. Wiley and Sons.
Bibtex entry  Abstract

F. Baader and P. Narendran. Unification of Concept Terms. In Proceedings of the 11th International Workshop on Unification, UNIF-97, LIFO Technical Report 97-8. LIFO, Universitè de Orlèans, 1997.
Bibtex entry  Abstract  Paper (PS)

F. Baader and P. Narendran. Unification of Concept Terms in Description Logics. In Proceedings of the International Workshop on Description Logics, DL'97, pages 34–38. LRI, Universitè PARIS-SUD, Cente d'Orsay, 1997.
Bibtex entry  Abstract  Paper (PS)

F. Baader and U. Sattler. Description Logics with Aggregates and Concrete Domains. In Proceedings of the International Workshop on Description Logics, Gif sur Yvette, France, 1997.
Bibtex entry  Paper (PS)

F. Baader and C. Tinelli. A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. In W. McCune, editor, Proceedings of the 14th International Conference on Automated Deduction (CADE-97), volume 1249 of Lecture Notes in Artificial Intelligence, pages 19–33. Springer-Verlag, 1997.
Bibtex entry  Abstract

Franz Baader and Klaus U. Schulz. Unification Theory – An Introduction. Research Report CIS-Rep-97-103, Center for Language and Information Processing (CIS), Oettingenstraße 67, D-80538 Munich, Germany, January 1997.
Bibtex entry  Abstract  Paper (PS)

M. Baumeister, A. Becks, S. Sklorz, C. Tresp, and U. Tüben. Indexing Medical Abstract Databases. In Proceedings of the European Workshop on Multimedia Technology in Medical Training, Aachen (Deutschland), September 1997.
Bibtex entry

M. Baumeister, H.-P. Hohn, S. Sklorz, and C. Tresp (Hrsg.). Multimedia Technology in Medical Training, volume 20 of ABI. Augustinus, Aachen, 1997.
Bibtex entry

C. Decleir, M. S. Hacid, and J. Kouloumdjian. A Generic Model for Video Content Based Retrieval. In Proceedings of the 1998 ACM Symposium on Applied Computing, Multimedia Track, Atlanta, GA, USA (to appear), 1998. Extended Abstract.
Bibtex entry  Abstract  Paper (PS)

M. S. Hacid, P. Marcel, and C. Rigotti. A rule based data manipulation language for OLAP systems. In Proc. of the 5th Intl. Conf. on Deductive and Object-Oriented Databases (DOOD'97), LNCS, Montreux, Switzerland, december 1997. SPRINGER.
Bibtex entry  Abstract  Paper (PS)

M. S. Hacid, P. Marcel, and C. Rigotti. A Rule-Based Language for Ordered Multidimensional Databases. In Proc. of the 5th Intl. Workshop on Deductive Database and Logic Programming (DDLP'97), volume 317 of GMD-Studien, pages 69–81, Leuven, Belgium, july 1997.
Bibtex entry  Abstract  Paper (PS)

Mohand-Said Hacid and Ulrike Sattler. An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions. In Proceedings of the IEEE Knowledge and Data Engineering Workshop, Newport Beach, CA, USA, pages 65–72. IEEE Computer Society, November 1997.
Bibtex entry  Abstract

J. Hiltner, M. Jäger, E. Meyer zu Bexten, C. Tresp, and M. Fathi. Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens. In Bernhard Arnolds, Heinrich Müller, Dietmar Saupe, and Thomas Tolxdorff, editors, Digitale Bildverarbeitung in der Medizin, Tagungsband zum 5. Freiburger Workshop (Deutschland), März 1997.
Bibtex entry

Claudia Krobb. Entwicklung einer Spezialisierungshierarchie für Modellierungsschritte im objekt-orientierten Datenmodell VeDa. Diploma thesis, RWTH Aachen, Germany, 1997.
Bibtex entry  Abstract  Paper (PS)

R. Küsters. Characterizing the semantics of terminological cycles with the help of finite automata. In Proceedings of the International Workshop on Description Logics, DL'97, pages 10–14. LRI, Universitè PARIS-SUD, Cente d'Orsay, 1997.
Bibtex entry  Abstract  Paper (PS)

Ralf Küsters. Charakterisierung der Semantik terminologischer Zyklen mit Hilfe endlicher Automaten. Diploma thesis, RWTH Aachen, Germany, 1997.
Bibtex entry  Abstract  Paper (PS)

Ralf Molitor. Konsistenz von Wissensbasen in Beschreibungslogiken mit Rollenoperatoren. Diploma thesis, RWTH Aachen, Germany, 1997.
Bibtex entry  Abstract  Paper (PS)

Madjid Nassiri. Berechnung einer erweiterten Subsumtionshierarchie. Diploma thesis, RWTH Aachen, Germany, 1997.
Bibtex entry  Abstract  Paper (PS)

C. Tresp. Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine. In 42. Internationales Wissenschaftliches Kolloquium, Technische Universität Ilmenau (Deutschland), September 1997.
Bibtex entry

C. Tresp. Queries in Fuzzy Deductive Databases Using Medical Information. In 5th European Congress on Intelligent Techniques & Soft Computing (EUFIT 97), Aachen (Deutschland), September 1997.
Bibtex entry

C. Tresp and S. Sklorz. Medizinische Aus- und Weiterbildung: Mit dem Computer lernen. interMed - Arzt & neue Medien, 1, 1997. Braun Fachverlage.
Bibtex entry

C. Tresp and S. Sklorz. Multimedia Technology in Medical Training. In M. Jarke, K. Parsedach, and K. Pohl, editors, Informatik'97: Informatik als Innovationsmotor, 27. Jahrestagung der GI, Aachen, 1997. Springer LNCS.
Bibtex entry

J. Weidemann, H.-P. Hohn, J. Hiltner, K. Tochtermann, C. Tresp, D. Bozinov, K. Venjakob, A. Freund, B. Reusch, and H.-W. Denker. A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed. Acta Anatomica, 158, 1997.
Bibtex entry

F. Baader. A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. of Logic and Computation, 6(1):33–54, 1996.
Bibtex entry  Abstract  Free reprint

F. Baader. Logik-basierte Wissensrepräsentation. KI, 3/96:8–16, 1996.
Bibtex entry  Abstract

F. Baader. Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Annals of Mathematics and Artificial Intelligence, 18(2–4):175–219, 1996.
Bibtex entry  Abstract  Free reprint

F. Baader, M. Buchheit, and B. Hollunder. Cardinality Restrictions on Concepts. Artificial Intelligence, 88(1–2):195–213, 1996.
Bibtex entry  Abstract  Free reprint

F. Baader and 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.
Bibtex entry  Abstract

F. Baader and U. Sattler. Description Logics with Symbolic Number Restrictions. In W. Wahlster, editor, Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), pages 283–287. John Wiley & Sons Ltd, 1996. An extended version has appeared as Technical Report LTCS-96-03.
Bibtex entry  Abstract  Paper (PS)

F. Baader and U. Sattler. Knowledge Representation in Process Engineering. In Proceedings of the International Workshop on Description Logics, Cambridge (Boston), MA, U.S.A., 1996. AAAI Press/The MIT Press.
Bibtex entry  Abstract  Paper (PS)

F. Baader and U. Sattler. Number Restrictions on Complex Roles in Description Logics. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96). Morgan Kaufmann, Los Altos, 1996. An extended version has appeared as Technical Report LTCS-96-02.
Bibtex entry  Abstract

F. Baader and K. U. Schulz. Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. J. Symbolic Computation, 21:211–243, 1996.
Bibtex entry  Abstract  Free reprint

Franz Baader and Klaus U. Schulz, editors. Frontiers of Combining Systems. Proceedings of First International Workshop, Applied Logic Series 3. Kluwer Academic Publishers, 1996.
Bibtex entry  Abstract

Kamel Ben-Khalifa. Kombination freier Strukturen. Diploma thesis, RWTH Aachen, Germany, November 1996.
Bibtex entry  Abstract  Paper (PS)

J. Hiltner and C. Tresp. Verbunddokumente: Objektmodelle und Implementierungen. In 15. Workshop Interdisziplinäre Methoden in der Informatik, Forschungsberichte der Universität Dortmund, 1996.
Bibtex entry

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg Siekmann. Die Beweisentwicklungsumgebung Omega-MKRP. Informatik – Forschung und Entwicklung, 11(1):20–26, 1996. In German.
Bibtex entry  Abstract  Paper (PS)

Martin Leucker. Comparison of Two Semantic Approaches to Unification. Diploma thesis, RWTH Aachen, Germany, 1996. In German.
Bibtex entry  Abstract  Paper (PS)

E. Meyer zu Bexten, C. Tresp, M. Jäger, M. Moser, and J. Hiltner. Consistency Checking in Applications based on Fuzzy Rules. In Second International Conference on Applications of Fuzzy Systems and Soft Computing, Siegen (Deutschland), Juni 1996.
Bibtex entry

U. Sattler. A Concept Language Extended with Different Kinds of Transitive Roles. In G. Görz and S. Hölldobler, editors, 20. Deutsche Jahrestagung für Künstliche Intelligenz, number 1137 in Lecture Notes in Artificial Intelligence. Springer Verlag, 1996.
Bibtex entry  Abstract  Paper (PS)

U. Sattler. Knowledge Representation in Process Engineering. In F. Baader, H. J. Bürckert, A. Günter, and W. Nutt, editors, Proceedings of the Workshop on Knowledge Representation and Configuration (WRKP'96), DFKI Document D-96-04. Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, 1996.
Bibtex entry  Paper (PS)

K. Tochtermann, C. Tresp, J. Hiltner, and A. Freund. HyperMed: A Hypermedia System for Anatomical Education. In ED-Media, World Conference on Educational Multimedia and Hypermedia, Boston (USA), August 1996.
Bibtex entry

C. Tresp, A. Becks, R. Klinkenberg, and J. Hiltner. Knowledge Representation in a World with Vague Concepts. In Intelligent Systems: A semiotic perspective, Gaithersburg (USA), September 1996.
Bibtex entry

C. Tresp, M. Jäger, M. Moser, J. Hiltner, and M. Fathi. A New Method for Image Segmentation Based on Fuzzy Knowledge. In Int. IEEE Symposia on Intelligence and Systems, Washington (USA), Oktober 1996.
Bibtex entry

F. Baader, M. Buchheit, M.A Jeusfeld, and W. Nutt. Reasoning About Structured Objects: Knowledge Representation Meets Databases. The Knowledge Engineering Review, 10(1):73–76, 1995.
Bibtex entry

F. Baader and B. Hollunder. Embedding Defaults into Terminological Representation Systems. J. Automated Reasoning, 14:149–180, 1995.
Bibtex entry  Abstract  Free reprint

F. Baader and B. Hollunder. Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic. J. Automated Reasoning, 15:41–68, 1995.
Bibtex entry  Abstract  Free reprint

F. Baader and A. Laux. Terminological Logics with Modal Operators. In C. Mellish, editor, Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 808–814, Montréal, Canada, 1995. Morgan Kaufmann.
Bibtex entry  Abstract

F. Baader and H.-J. Ohlbach. A Multi-Dimensional Terminological Knowledge Representation Language. J. Applied Non-Classical Logics, 5:153–197, 1995.
Bibtex entry

F. Baader and K.U. Schulz. Combination of Constraint Solving Techniques: An Algebraic Point of View. In Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Artificial Intelligence, pages 352–366, Kaiserslautern, Germany, 1995. Springer Verlag.
Bibtex entry  Abstract

F. Baader and K.U. Schulz. Combination Techniques and Decision Problems for Disunification. Theoretical Computer Science B, 142:229–255, 1995.
Bibtex entry  Abstract  Free reprint

F. Baader and K.U. Schulz. On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. In Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP95, volume 976 of Lecture Notes in Artificial Intelligence, pages 380–397, Cassis, France, 1995. Springer Verlag.
Bibtex entry  Abstract

Franz Baader and Can Adam Albayrak. Termersetzungssysteme, Skript zur Vorlesung, volume 12 of Aachener Beiträge zur Informatik. Verlag der Augustinus Buchhandlung, Pontstr. 96, D-52062 Aachen, 1995. ISBN 3-86073-148-3.
Bibtex entry  Abstract

Franz Baader and Hans Jürgen Ohlbach. A Multi-Dimensional Terminological Knowledge Representation Language. Technical Report MPI-I-95-2-005, Max-Planck-Institut für Informatik, Saarbrücken, 1995.
Bibtex entry  Abstract  Paper (PS)

François Bergeron and Ulrike Sattler. Constructible differentially finite algebraic series in several variables. Theoretical Computer Science, 144(1-2):59–66, June 1995.
Bibtex entry  Abstract

M. Fathi, C. Tresp, K. Holte, and J. Hiltner. Development of Objective Functions for Soft Computing in Medical Applications. In ACM Computing Week, Nashville (USA), Februar 1995.
Bibtex entry

Ulrike Sattler. A Concept Language for an engeneering application with part-whole relations. In A. Borgida, M. Lenzerini, D. Nardi, and B. Nebel, editors, Proceedings of the International Workshop on Description Logics, pages 119–123, Rome, 1995.
Bibtex entry  Abstract  Paper (PS)

F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.J. Profitlich. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems. Applied Intelligence, 4(2):109–132, 1994.
Bibtex entry  Abstract  Paper (PS)  Paper (PDF)

F. Baader and A. Laux. Terminological Logics with Modal Operators. DFKI Research Report RR-94-33, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1994.
Bibtex entry  Abstract  Paper (PS)

F. Baader and K. Schulz. On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CIS-Report 94-82, Universität München, 1994.
Bibtex entry  Abstract  Paper (PS)

F. Baader and J.H. Siekmann. Unification Theory. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, pages 41–125. Oxford University Press, Oxford, UK, 1994.
Bibtex entry

Franz Baader and Klaus U. Schulz. Combination of Constraint Solving Techniques: An Algebraic Point of View. Research Report CIS-Rep-94-75, Center for Language and Information Processing (CIS), Wagmüllerstraße 23, D-80538 Munich, Germany, July 1994.
Bibtex entry  Abstract  Paper (PS)

M. Fathi, C. Tresp, J. Hiltner, and K. Becker. Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies. In IEEE World Wisemen/Women Workshop (WWW), Nagoya University, Nagoya (Japan), August 1994.
Bibtex entry

M. Fathi, C. Tresp, J. Hiltner, and K. Becker. Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications. In First Industry Academic Symposium on research for Future Supersonic and Hypersonic Vehicles, Greensboro (USA), Dezember 1994.
Bibtex entry

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg Siekmann. KEIM: A Toolkit for Automated Deduction. In Alan Bundy, editor, Automated Deduction — CADE-12, Proceedings of the 12th International Conference on Automated Deduction, pages 807–810, Nancy, 1994. Springer-Verlag LNAI 814.
Bibtex entry  Abstract  Paper (PS)

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, and Jörn Richts. Adapting Methods to Novel Tasks in Proof Planning. In Bernhard Nebel and Leonie Dreschler-Fischer, editors, KI-94: Advances in Artificial Intelligence, Proceedings of the 18th German Annual Conference on Artificial Intelligence, pages 379–390, Saarbrücken, Germany, 1994. Springer-Verlag LNAI 861.
Bibtex entry  Abstract  Paper (PS)

Xiaorong Huang, Manfred Kerber, Jörn Richts, and Arthur Sehn. Planning Mathematical Proofs with Methods. Journal of Information Processing and Cybernetics, EIK, 30(5-6):277–291, 1994.
Bibtex entry  Abstract  Paper (PS)

F. Baader, M. Buchheit, and B. Hollunder. Cardinality Restrictions on Concepts. DFKI Research Report RR-93-48, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993. A short version has appeared in Proceedings of the KI'94, Springer LNCS 861.
Bibtex entry  Abstract  Paper (PS)

F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, and 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.
Bibtex entry  Paper (PS)

F. Baader and B. Hollunder. Embedding Defaults into Terminological Representation Systems. DFKI Research Report RR-93-20, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993.
Bibtex entry  Abstract  Paper (PS)

F. Baader and B. Hollunder. How to Prefer More Specific Defaults in Terminological Default Logic. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, pages 669–674, Chambery (France), 1993.
Bibtex entry

F. Baader and B. Hollunder. Computing extensions of terminological default theories. In G. Lakemeyer, editor, Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Artificial Intelligence. Springer–Verlag, 1994.
Bibtex entry

F. Baader, B. Hollunder, B. Nebel, H.J. Profitlich, and E. Franconi. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on. DFKI Research Report RR-93-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993.
Bibtex entry

F. Baader and H.-J. Ohlbach. A Multi-Dimensional Terminological Knowledge Representation Language. MPII Report MPI-I-93-212, Max-Planck-Institut für Informatik, Saarbrücken, 1993.
Bibtex entry

F. Baader and K. Schlechta. A Semantics for Open Normal Defaults via a Modified Preferential Approach. In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU 93, volume 747 of Lecture Notes in Computer Science, pages 9–16, Granada (Spain), 1993. Springer–Verlag.
Bibtex entry

F. Baader and K. Schlechta. A Semantics for Open Normal Defaults via a Modified Preferential Approach. DFKI Research Report RR-93-13, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993.
Bibtex entry

F. Baader and K. Schulz. Combination Techniques and Decision Problems for Disunification. In Proceedings of the International Conference on Rewriting Techniques and Applications, RTA 93, volume 690 of Lecture Notes in Computer Science, pages 301–315, Montreal (Canada), 1993. Springer–Verlag.
Bibtex entry

F. Baader and K. Schulz. Combination Techniques and Decision Problems for Disunification. DFKI Research Report RR-93-05, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993.
Bibtex entry

F. Baader, J. Siekmann, and W. Snyder, editors. Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992. BU Technical Report 93-004. Boston University, Boston, USA, 1993.
Bibtex entry

H.-J. Ohlbach and F. Baader. A Multi-Dimensional Terminological Knowledge Representation Language. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, pages 690–695, Chambery (France), 1993.
Bibtex entry

F. Baader, H.-J. Bürckert, B. Hollunder, A. Laux, and W. Nutt. Terminologische Logiken. KI, 3/92:23–33, 1992.
Bibtex entry

F. Baader and P. Hanschke. Extensions of Concept Languages for a Mechanical Engineering Application. DFKI Research Report RR-92-36, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1992.
Bibtex entry

F. Baader and P. Hanschke. Extensions of Concept Languages for a Mechanical Engineering Application. In Proceedings of the 16th German AI-Conference, GWAI-92, volume 671 of Lecture Notes in Computer Science, pages 132–143, Bonn (Germany), 1993. Springer–Verlag.
Bibtex entry

F. Baader and B. Hollunder. Embedding Defaults into Terminological Representation Systems. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, pages 306–317, Boston (USA), 1992.
Bibtex entry

F. Baader and B. Hollunder. How to Prefer More Specific Defaults in Terminological Default Logic. DFKI Research Report RR-92-58, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1992.
Bibtex entry

F. Baader, B. Hollunder, B. Nebel, H.J. Profitlich, and E. Franconi. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, pages 270–281, Boston (USA), 1992.
Bibtex entry

F. Baader and K. Schulz. General A- and AX-Unification via Optimized Combination Procedures. CIS-Report 92-58, Universität München, 1992.
Bibtex entry

F. Baader and K. Schulz. Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. In Proceedings of the 11th International Conference on Automated Deduction, CADE-92, volume 607 of Lecture Notes in Computer Science, pages 50–65, Saratoga Springs (USA), 1992. Springer–Verlag.
Bibtex entry

F. Baader, J. Siekmann, and W. Snyder, editors. 6th Workshop on Unification. Dagstuhl-Seminar-Report 42. IBFI GmbH, Schloß Dagstuhl, Germany, 1992.
Bibtex entry

Jörn Richts. Allgemeine AC-Unifikation durch Variablenabstraktion mit Fremdtermbedingungen. Seki Working Paper SWP–92–12, Fachbereich Informatik, Universität Kaiserslautern, Postfach 3049, D–67663 Kaiserslautern, Germany, 1992.
Bibtex entry  Abstract  Paper (PS)

F. Baader. Unification in Varieties of Completely Regular Semigroups. In Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, pages 210–230, Tübingen (Germany), 1991. Springer–Verlag.
Bibtex entry

F. Baader. Unification Theory. In Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, pages 151–170, Tübingen (Germany), 1991. Springer–Verlag.
Bibtex entry

F. Baader. Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems. In Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, pages 86–97, Como (Italy), 1991. Springer–Verlag.
Bibtex entry

F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, and G. Smolka. On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations. DFKI Research Report RR-91-01, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1991.
Bibtex entry

F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, pages 452–457, Sydney (Australia), 1991.
Bibtex entry

F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. DFKI Research Report RR-91-10, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1991.
Bibtex entry  Abstract  Paper (PS)

F. Baader and B. Hollunder. KRIS: Knowledge Representation and Inference System, System Description. ACM SIGART Bulletin, 2:8–14, 1991.
Bibtex entry

F. Baader and B. Hollunder. A Terminological Knowledge Representation System with Complete Inference Algorithms. In Proceedings of the First International Workshop on Processing Declarative Knowledge, volume 572 of Lecture Notes in Computer Science, pages 67–85, Kaiserslautern (Germany), 1991. Springer–Verlag.
Bibtex entry  Abstract  Paper (PS)  ©Springer-Verlag

F. Baader and W. Nutt. Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification. In Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, pages 124–135, Como (Italy), 1991. Springer–Verlag.
Bibtex entry

F. Baader and K. Schulz. Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. DFKI Research Report RR-91-33, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1991.
Bibtex entry  Abstract  Paper (PS)

F. Baader and K.U. Schulz. General A- and AX-Unification via Optimized Combination Procedures. In Proceedings of the Second International Workshop on Word Equations and Related Topics, IWWERT-91, volume 677 of Lecture Notes in Computer Science, pages 23–42, Rouen (France), 1992. Springer–Verlag.
Bibtex entry

B. Hollunder and F. Baader. Qualifying Number Restrictions in Concept Languages. DFKI Research Report RR-91-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1991.
Bibtex entry

B. Hollunder and F. Baader. Qualifying Number Restrictions in Concept Languages. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, pages 335–346, Boston (USA), 1991.
Bibtex entry

F. Baader. A Formal Definition for Expressive Power of Knowledge Representation Languages. In Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90, pages 53–58, Stockholm (Schweden), 1990.
Bibtex entry

F. Baader. A Formal Definition for Expressive Power of Knowledge Representation Languages. DFKI Research Report RR-90-05, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
Bibtex entry

F. Baader. Rewrite Systems for Varieties of Semigroups. In Proceedings of the 10th International Conference on Automated Deduction, CADE-90, volume 488 of Lecture Notes in Computer Science, pages 396–410, Kaiserslautern (Germany), 1990. Springer–Verlag.
Bibtex entry

F. Baader. Terminological Cycles in KL-ONE-based Knowledge Representation Languages. In Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90, pages 621–626, Boston (USA), 1990.
Bibtex entry

F. Baader. Terminological Cycles in KL-ONE-based Knowledge Representation Languages. DFKI Research Report RR-90-01, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
Bibtex entry

F. Baader. Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases. SEKI Report SR-90-1, Universität Kaiserslautern, 1990.
Bibtex entry

F. Baader. Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems. SEKI Report SR-90-2, Universität Kaiserslautern, 1990.
Bibtex entry

F. Baader, H.-J. Bürckert, J. Heinsohn, J. Müller, B. Hollunder, B. Nebel, W. Nutt, and H.-J. Profitlich. Terminological Knowledge Representation: A Proposal for a Terminological Logic. DFKI Technical Memo TM-90-04, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990. Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics,'' Dagstuhl, May 1991.
Bibtex entry  Abstract  Paper (PS)

F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J. Siekmann. Concept Logic. In Proceedings of the Symposium on Computational Logic, pages 177–201, Brussels (Belgien), 1990.
Bibtex entry

F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J. Siekmann. Concept Logic. DFKI Research Report RR-90-10, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
Bibtex entry  Paper (PS)

F. Baader and B. Hollunder. KRIS: Knowledge Representation and Inference System, System Description. DFKI Technical Memo TM-90-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
Bibtex entry

F. Baader and W. Nutt. Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification. DFKI Research Report RR-90-16, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
Bibtex entry

F. Baader. The Theory of Idempotent Semigroups is of Unification Type Zero. J. Automated Reasoning, 2:283–286, 1986.
Bibtex entry  Free reprint

F. Baader. Unification in Varieties of Idempotent Semigroups. Semigroup Forum, 36:127–145, 1987.
Bibtex entry  Free reprint

F. Baader. A Note on Unification Type Zero. Information Processing Letters, 27:91–93, 1988.
Bibtex entry  Free reprint

F. Baader. Characterizations of Unification Type Zero. In Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, RTA 89, volume 355 of Lecture Notes in Computer Science, pages 2–14, Chapel Hill (USA), 1989. Springer–Verlag.
Bibtex entry

F. Baader. Unification in Commutative Theories. J. Symbolic Computation, 8:479–497, 1989.
Bibtex entry  Free reprint

F. Baader. Unification Properties of Commutative Theories: A Categorical Treatment. In Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, pages 273–299, Manchester (UK), 1989. Springer–Verlag.
Bibtex entry

F. Baader. Unifikation und Reduktionssysteme für Halbgruppenvarietäten. Arbeitsbericht 8, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, 1989. Dissertation.
Bibtex entry

F. Baader and W. Büttner. Unification in Commutative Idempotent Monoids. J. Theoretical Computer Science, 56:345–352, 1988.
Bibtex entry  Free reprint