Description Logics Home Page

Description Logics 2013: Ulm, Germany

• 
  Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch (Eds.): Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR-WS.org 2013 CEUR Workshop Proceedings 1014 [ contents ]

Description Logics 2012: Rome, Italy

• 
  Yevgeny Kazakov, Domenico Lembo, Frank Wolter (Eds.): Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 846 [ contents ]

Description Logics 2011: Barcelona, Spain

• 
  Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (Eds.): Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR-WS.org 2011 CEUR Workshop Proceedings 745 [ contents ]

Description Logics 2010: Waterloo, Ontario, Canada

• 
  Volker Haarslev, David Toman, Grant E. Weddell (Eds.): Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. CEUR-WS.org 2010 CEUR Workshop Proceedings 573 [ contents ]

Description Logics 2009: Oxford, UK

• 
  Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler (Eds.): Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR-WS.org 2009 CEUR Workshop Proceedings 477 [ contents ]

Description Logics 2008: Dresden, Germany

• 
  Franz Baader, Carsten Lutz, Boris Motik (Eds.): Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR-WS.org 2008 CEUR Workshop Proceedings 353 [ contents ]

Description Logics 2007: Brixen-Bressanone, Italy

• 
  Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris (Eds.): Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR-WS.org 2007 CEUR Workshop Proceedings 250 [ contents ]

Description Logics 2006: Windermere, Lake District, UK

• 
  Bijan Parsia, Ulrike Sattler, David Toman (Eds.): Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. CEUR-WS.org 2006 CEUR Workshop Proceedings 189 [ contents ]

Description Logics 2005: Edinburgh, Scotland, UK

• 
  Ian Horrocks, Ulrike Sattler, Frank Wolter (Eds.): Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR-WS.org 2005 CEUR Workshop Proceedings 147 [ contents ]

Description Logics 2004: Whistler, BC, Canada

• 
  Volker Haarslev, Ralf Möller (Eds.): Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. CEUR-WS.org 2004 CEUR Workshop Proceedings 104 [ contents ]

- Description Logics 2004 Home Page

Description Logic Handbook

• 
  Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (Eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003 ISBN 0-521-78176-0 [ contents ]

Description Logics 2003: Rome, Italy

• 
  Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi (Eds.): Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR-WS.org 2003 CEUR Workshop Proceedings 81 [ contents ]

- Description Logics 2003 Home Page

Description Logics 2002: Toulouse, France

• 
  Ian Horrocks, Sergio Tessaris (Eds.): Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. CEUR-WS.org 2002 CEUR Workshop Proceedings 53 [ contents ]

- Description Logics 2002 Home Page

Description Logics 2001: Stanford University, California, USA

• 
  Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider (Eds.): Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. CEUR-WS.org 2001 CEUR Workshop Proceedings 49 [ contents ]

- Description Logics 2001 Home Page

Description Logics 2000: Aachen, Germany

• 
  Franz Baader, Ulrike Sattler (Eds.): Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. CEUR-WS.org 2000 CEUR Workshop Proceedings 33 [ contents ]

Description Logics 1999: Linköping, Sweden

• 
  Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider (Eds.): Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999. CEUR-WS.org 1999 CEUR Workshop Proceedings 22 [ contents ]

- DL '99 Home Page

Description Logics 1998: Trento, Italy

• 
  Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty (Eds.): Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998. CEUR-WS.org 1998 CEUR Workshop Proceedings 11 [ contents ]

Description Logics 1997: Paris, France

• 
  Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset (Eds.): Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI. 1997 URA-CNRS410 [ contents ]

Description Logics 1996: Cambridge, MA, USA

• 
  Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider (Eds.): Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA. AAAI Press 1996 AAAI Technical ReportWS-96-05 ISBN 1-57735-014-6 [ contents ]

Description Logics 1995

Alexander Borgida, Maurizio Lenzerini, Daniele Nardi, Bernhard Nebel (Eds.): Proceedings of the 1995 International Workshop on Description Logics, Universita degli Studi di Roma "La Sapienza", Dipartimento di Informatica e Sistemistica, Rap 07.95, Roma, Italy, June 2-3, 1995
Online Proceedings

Description Logics 1994: Bonn, Germany

Franz Baader, Maurizio Lenzerini, Werner Nutt, Peter F. Patel-Schneider (Eds.): Proceedings of the 1994 International Workshop on Description Logics, DFKI-D-94-10, Bonn, Germany, May 28-29, 1994
Online Proceedings

Description Logics 1992; Boston, MA, USA

• 
  Robert M. MacGregor, Deborah L. McGuinness, Eric Mays, Thomas A. Russ (Eds.): Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992. AAAI Press 1992 AAAI Fall Symposium Series [ contents ]

Description Logics 1991: Dagstuhl, Germany

Bernhard Nebel, Kai von Luck, Christof Peltason (Eds.): Proceedings of the International Workshop on Terminological Logics, DFKI-D-91-13, 1991. Also published as KIT Report and IWBS Report 184
Contents

Christof Peltason, Kai von Luck, Carsten Kindermann (Eds.): Proceedings of the Terminological Logic Users Workshop, KIT-Report 95, TU-Berlin, Germany, December 1991

Term Subsumption Languages Workshop

Term Subsumption Languages Workshop, Thorn Hill, New Hampshire, 1989. A report on the workshop appears in AI Magazine, Vol 11(2), 1990

2. KL-ONE Workshop

Ronald J. Brachman, James G. Schmolze (Eds.): Proceedings of the Second KL-ONE Workshop, BBN Report No. 4842, BBN Laboratories, Cambridge, MA, June 1982