dblp.uni-trier.de www.uni-trier.de

Description Logics Workshops

Description Logics Home Page

Description Logics 2009: Oxford, UK

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler (Eds.): Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477 CEUR-WS.org 2009
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Workshop Proceedings 353 CEUR-WS.org 2008
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Workshop Proceedings 250 CEUR-WS.org 2007
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Workshop Proceedings 189 CEUR-WS.org 2006
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Workshop Proceedings 147 CEUR-WS.org 2005
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Workshop Proceedings 104 CEUR-WS.org 2004
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Workshop Proceedings 81 CEUR-WS.org 2003
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 Workshop Proceedings 53 CEUR-WS.org 2002
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 Workshop Proceedings 49 CEUR-WS.org 2001
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 Workshop Proceedings 33 CEUR-WS.org 2000
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Workshop Proceedings 22 CEUR-WS.org 1999
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 Workshop Proceedings 11 CEUR-WS.org 1998
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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. URA-CNRS 410 1997
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Technical Report WS-96-05 AAAI Press 1996, ISBN 1-57735-014-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 Fall Symposium Series AAAI Press 1992
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Copyright © Mon Nov 2 20:30:46 2009 by Michael Ley (ley@uni-trier.de)