Publications

# Publications :: Search

## Show author

 Select a publication Show Title Venue Rating Date Conference paper Franz Baader, Stefan Borgwardt, Marcel Lippmann. Temporalizing Ontology-Based Data Access. Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013 Conference paper Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid EL-Unification is NP-complete. Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 2013 (0) 2013 Conference paper Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid Unification in the Description Logic. Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings 2013 (0) 2013 Conference paper Franz Baader, Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions. Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings 2013 (0) 2013 Journal article Franz Baader, Alexander Okhotin. On Language Equations with One-sided Concatenation. Fundam. Inform. 2013, Volume 126 (0) 2013 Conference paper Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid Unification in the Description Logic EL. 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013 Conference paper George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder. Learning Formal Definitions for Biomedical Concepts. Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. 2013 (0) 2013 Conference paper Franz Baader, Alexander Okhotin. Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska. UEL: Unification Solver for EL. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012 Conference paper Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski. Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012 Journal article Franz Baader, Martin Knechtel, Rafael Peñaloza. Context-dependent views to axioms and consequences of Semantic Web ontologies. J. Web Sem. 2012, Volume 12 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies. Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012 (0) 2012 Conference paper Franz Baader, Julian Mendez, Barbara Morawska. UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description. Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012 (0) 2012 Conference paper Franz Baader, Wolfgang Thomas. Editorial. Informatik Spektrum 2012, Volume 35 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. Extending Unification in EL Towards General TBoxes. Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012 (0) 2012 Conference paper Franz Baader, Silvio Ghilardi, Carsten Lutz. LTL over description logic axioms. ACM Trans. Comput. Log. 2012, Volume 13 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies. AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings 2012 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. Computing Minimal EL-unifiers is Hard. Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012 2012 (0) 2012 Journal article Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. Fusions of Description Logics and Abstract Description Systems CoRR 2011, Volume 0 (0) 2011 Conference paper Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. Unification in the Description Logic EL without the Top Concept. Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 2011 (0) 2011 Conference paper Franz Baader, Rafael Peñaloza. GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 2011 (0) 2011 Conference paper Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. Unification in the Description Logic Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings 2011 (0) 2011 Conference paper Franz Baader, Rafael Peñaloza. Are fuzzy description logics with general concept inclusion axioms decidable? FUZZ-IEEE 2011, IEEE International Conference on Fuzzy Systems, Taipei, Taiwan, 27-30 June, 2011, Proceedings 2011 (0) 2011 Conference paper Franz Baader, Rafael Peñaloza. On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings 2011 (0) 2011 Conference paper Franz Baader. What's new in Description Logics. Informatik Spektrum 2011, Volume 34 (0) 2011 Conference paper Franz Baader, Silvio Ghilardi. Unification in modal and description logics. Logic Journal of the IGPL 2011, Volume 19 (0) 2011 Conference paper Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. Query and Predicate Emptiness in Description Logics. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 2010 (0) 2010 Journal article Franz Baader, Barbara Morawska. Unification in the Description Logic EL CoRR 2010, Volume 0 (0) 2010 Conference paper Franz Baader, Hongkai Liu, Anees ul Mehdi. Verifying Properties of Infinite Sequences of Description Logic Actions. ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings 2010 (0) 2010 Journal article Franz Baader, Rafael Peñaloza. Automata-Based Axiom Pinpointing. J. Autom. Reasoning 2010, Volume 45 (0) 2010 Conference paper Franz Baader, Marcel Lippmann, Hongkai Liu. Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 2010 (0) 2010 Conference paper Franz Baader, Barbara Morawska. SAT Encoding of Unification in Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 2010 (0) 2010 Conference paper Franz Baader, Bernhard Beckert, Tobias Nipkow. Deduktion: von der Theorie zur Anwendung. Informatik Spektrum 2010, Volume 33 (0) 2010 Journal article Franz Baader, Carsten Lutz, Anni-Yasmin Turhan. Small is Again Beautiful in Description Logics. KI 2010, Volume 24 (0) 2010 Journal article Franz Baader, Rafael Peñaloza. Axiom Pinpointing in General Tableaux. J. Log. Comput. 2010, Volume 20 (0) 2010 Conference paper Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 2009 (0) 2009 Conference paper Franz Baader, Barbara Morawska. Unification in the Description Logic EL. Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 2009 (0) 2009 Conference paper Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher. Putting ABox Updates into Action. Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings 2009 (0) 2009 Conference paper Franz Baader, Andreas Bauer 0002, Marcel Lippmann. Runtime Verification Using a Temporal Description Logic. Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings 2009 (0) 2009 Conference paper Franz Baader, Felix Distel. Exploring Finite Models in the Description Logic . Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings 2009 (0) 2009 Conference paper Franz Baader, Baris Sertkaya. Usability Issues in Description Logic Knowledge Base Completion. Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings 2009 (0) 2009 Conference paper Franz Baader, Barbara Morawska. Unification in the Description Logic EL. Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings 2009 (0) 2009 Conference paper Franz Baader. Description Logics. Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures 2009 (0) 2009 Conference paper Franz Baader, Martin Knechtel, Rafael Peñaloza. A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings 2009 (0) 2009 Conference paper Franz Baader, Andreas Bauer 0002, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter. A Novel Architecture for Situation Awareness Systems. Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings 2009 (0) 2009 Conference paper Franz Baader, Andreas Bauer 0002, Alwen Tiu. Matching Trace Patterns with Regular Policies. Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings 2009 (0) 2009 Conference paper Franz Baader, Rafael Peñaloza. Automata-Based Axiom Pinpointing. Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings 2008 (0) 2008 Conference paper Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn. A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 2008 (0) 2008 Conference paper Franz Baader, Silvio Ghilardi, Carsten Lutz. LTL over Description Logic Axioms. Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 2008 (0) 2008 Conference paper Franz Baader, Felix Distel. A Finite Basis for the Set of EL-Implications Holding in a Finite Model. Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings 2008 (0) 2008 Conference paper Franz Baader, Silvio Ghilardi, Carsten Lutz. LTL over Description Logic Axioms. Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008 2008 (0) 2008 Conference paper Franz Baader, Boontawee Suntisrivaraporn. Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. Proceedings of the Third International Conference on Knowledge Representation in Medicine, Phoenix, Arizona, USA, May 31st - June 2nd, 2008 2008 (0) 2008 Conference paper Franz Baader, Jan Hladik, Rafael Peñaloza. Automata can show PSpace results for description logics. Inf. Comput. 2008, Volume 206 (0) 2008 Conference paper Franz Baader, Jan Hladik, Rafael Peñaloza. SI! Automata Can Show PSPACE Results for Description Logics. LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications. 2007 (0) 2007 Conference paper Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman. Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings 2007 (0) 2007 Conference paper Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis. 07401 Abstracts Collection -- Deduction and Decision Procedures. Deduction and Decision Procedures, 30.09. - 05.10.2007 2007 (0) 2007 Conference paper Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis. 07401 Executive Summary -- Deduction and Decision Procedures. Deduction and Decision Procedures, 30.09. - 05.10.2007 2007 (0) 2007 Conference paper Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 2007 (0) 2007 Conference paper Franz Baader, Jan Hladik, Rafael Peñaloza. Blocking Automata for PSPACE DLs. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 2007 (0) 2007 Conference paper Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler. Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 2007 (0) 2007 Conference paper Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn. Pinpointing in the Description Logic KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings 2007 (0) 2007 Conference paper Franz Baader, Rafael Peñaloza. Axiom Pinpointing in General Tableaux. Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings 2007 (0) 2007 Conference paper Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya. Completing Description Logic Knowledge Bases using Formal Concept Analysis. Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007 2007 (0) 2007 Conference paper Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader. SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics - Building Sustainable Health Systems, 20-24 August, 2007, Brisbane, Australia 2007 (0) 2007 Conference paper Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan. Computing the least common subsumer w.r.t. a background terminology. J. Applied Logic 2007, Volume 5 (0) 2007 Conference paper Franz Baader. Preface to Special Issue on Reasoning in Description Logics. J. Autom. Reasoning 2007, Volume 39 (0) 2007 Journal article Franz Baader, Silvio Ghilardi. Connecting many-sorted theories. J. Symb. Log. 2007, Volume 72 (0) 2007 Conference paper Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. CEL - A Polynomial-Time Reasoner for Life Science Ontologies. Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006 (0) 2006 Conference paper Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. Efficient Reasoning in Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006 2006 (0) 2006 Conference paper Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris. Reasoning Support for Ontology Design. Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006 2006 (0) 2006 Conference paper Franz Baader, Silvio Ghilardi, Cesare Tinelli. A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Inf. Comput. 2006, Volume 204 (0) 2006 Conference paper Franz Baader, Carsten Lutz, Maja Milicic Brandt, Ulrike Sattler, Frank Wolter. Integrating Description Logics and Action Formalisms: First Results. Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA 2005 (0) 2005 Conference paper Franz Baader, Ian Horrocks, Ulrike Sattler. Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2005 (0) 2005 Conference paper Franz Baader, Silvio Ghilardi. Connecting Many-Sorted Theories. Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings 2005 (0) 2005 Conference paper Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov. 05431 Executive Summary - Deduction and Applications. Deduction and Applications, 23.-28. October 2005 2006 (0) 2005 Conference paper Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov. 05431 Abstracts Collection - Deduction and Applications. Deduction and Applications, 23.-28. October 2005 2006 (0) 2005 Conference paper Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen. A new Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 2005 (0) 2005 Conference paper Franz Baader, Maja Milicic Brandt, Carsten Lutz, Ulrike Sattler, Frank Wolter. Integrating Description Logics and Action Formalisms: First Results. Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 2005 (0) 2005 Conference paper Franz Baader, Silvio Ghilardi. Connecting Many-Sorted Structures and Theories Through Adjoint Functions. Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings 2005 (0) 2005 Conference paper Franz Baader, Sebastian Brandt, Carsten Lutz. Pushing the EL Envelope. IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 2005 (0) 2005 Conference paper Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen. A New KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings 2005 (0) 2005 Conference paper Franz Baader. 19th International Conference on Automated Deduction (CADE-19). Inf. Comput. 2005, Volume 199 (0) 2005 Book chapter Franz Baader, Ian Horrocks, Ulrike Sattler. Description Logics. Handbook on Ontologies 2004 (0) 2004 Conference paper Franz Baader, Silvio Ghilardi, Cesare Tinelli. A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings 2004 (0) 2004 Conference paper Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan. Computing the Least Common Subsumer w.r.t. a Background Terminology. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004 2004 (0) 2004 Conference paper Franz Baader, Baris Sertkaya. Applying Formal Concept Analysis to Description Logics. Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings 2004 (0) 2004 Conference paper Franz Baader. Engineering of Logics for the Content-Based Representation of Information. Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004 (0) 2004 Conference paper Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan. Computing the Least Common Subsumer w.r.t. a Background Terminology. Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004 (0) 2004 Conference paper Franz Baader. A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. Graph-Theoretic Concepts in Computer Science, 30th International Workshop,WG 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers 2004 (0) 2004 Conference paper Franz Baader, Stephan Tobies. The Inverse Method Implements the Automata Approach for Modal Satisfiability CoRR 2004, Volume 0 (0) 2004 Conference paper Franz Baader. Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 2003 (0) 2003 Conference paper Franz Baader. Description Logic Terminology. The Description Logic Handbook: Theory, Implementation, and Applications 2003 (0) 2003 Conference paper Franz Baader, Ralf Küsters, Frank Wolter. Extensions to Description Logics. The Description Logic Handbook: Theory, Implementation, and Applications 2003 (0) 2003 Conference paper Franz Baader, Werner Nutt. Basic Description Logics. The Description Logic Handbook: Theory, Implementation, and Applications 2003 (0) 2003 Conference paper Franz Baader. Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003 Dresden, Germany, July 21-25, 2003 Proceedings 2003 (0) 2003 Conference paper Franz Baader. Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 2003 (0) 2003 Conference paper Franz Baader. Terminological Cycles in a Description Logic with Existential Restrictions. IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 2003 (0) 2003 Conference paper Franz Baader. The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings 2003 (0) 2003 Conference paper Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter. From Tableaux to Automata for Description Logics. Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings 2003 (0) 2003