[DL]
DESCRIPTION LOGIC
WORKSHOPS



On this page:           Next DL Workshop      Past DL Workshops      Other DL-related Workshops

2008 International Workshop on Description Logics

The 2008 International Workshop on Description Logics (DL2008), to be held from 13.5. to 16.5.2008 in Dresden, Germany.

The annual Description Logic workshops are coordinated by the Description Logic Steering Committee.


Past DL Workshops and Proceedings

2008  2007  2006  2005  2004  2003  2002  2001  2000  1999  1998  1997  1996  1995  1994  1992  1991  1989  1986  1981  1980 

2008 International Workshop on Description Logics (DL2008)
Location Dresden, Germany
Webpage http://dl.kr.org/dl2008/
Organizers Franz Baader, Carsten Lutz
Proceedings Available as CEUR Workshop Proceedings Volume 353.
Reference Baader, F., Lutz, C., Motik, B., Proceedings of the 2008 International Workshop on Description Logics (DL2008), Dresden Germany, 2008. Available online as CEUR Workshop Proceedings Volume 353.

2007 International Workshop on Description Logics (DL2007)
Location Brixen, Italy
Webpage http://dl.kr.org/dl2007/
Organizers Enrico Franconi, Sergio Tessaris
Proceedings Available as CEUR Workshop Proceedings Volume 250.
Reference Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.-Y., Tessaris, S., Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen Italy, 2007. Available online as CEUR Workshop Proceedings Volume 250.

2006 International Workshop on Description Logics (DL2006)
Location Lake District, UK
Webpage http://dl.kr.org/dl2006/
Organizers Bijan Parsia, Ulrike Sattler, David Toman
Proceedings Available as CEUR Workshop Proceedings Volume 189.
Reference Parsia, B., Sattler, U., Toman, D., Proceedings of the 2006 International Workshop on Description Logics (DL2006), Lake District, UK, 2006. Available online as CEUR Workshop Proceedings Volume 189.

2005 International Workshop on Description Logics (DL2005)
Location Edinburgh, Scotland, UK
Webpage http://dl.kr.org/dl2005/
Organizers Ian Horrocks, Ulrike Sattler, Frank Wolter
Proceedings Available as CEUR Workshop Proceedings Volume 147.
Reference Horrocks, I., Sattler, U., Wolter, F., Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, 2005. Available online as CEUR Workshop Proceedings Volume 147.

2004 International Workshop on Description Logics (DL2004)
Location Whistler, BC, Canada
Webpage http://dl.kr.org/dl2004/
Organizers Volker Haarslev, Ralf Möller
Proceedings Available as CEUR Workshop Proceedings Volume 104.
Reference Haarslev, V. and Möller, R. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, BC, Canada, 2004. Available online as CEUR Workshop Proceedings Volume 104.

2003 International Workshop on Description Logics (DL2003)
Location Rome, Italy
Webpage http://dl.kr.org/dl2003/
Organizers Diego Calvanese, Giuseppe de Giacomo, Enrico Franconi
Proceedings Available as CEUR Workshop Proceedings Volume 81.
Reference Calvanese, D., de Giacomo, G, Franconi, F., Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy, 2003. Available online as CEUR Workshop Proceedings Volume 81.

2002 International Workshop on Description Logics (DL2002)
Location Toulouse, France
Webpage http://dl.kr.org/dl2002/
Organizers Ian Horrocks, Sergio Tessaris, Jeff Z. Pan
Proceedings Available as CEUR Workshop Proceedings Volume 53.
Reference Horrocks, I. and Tessaris, S., Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, 2002. Available online as CEUR Workshop Proceedings Volume 53.

2001 International Workshop on Description Logics (DL2001)
Location Stanford, CA, USA
Webpage http://dl.kr.org/dl2001/
Organizers McGuinness, D.L., Patel-Schneider, P.F., Goble. C., Möller, R.
Proceedings Available as CEUR Workshop Proceedings Volume 49.
Reference McGuinness, D.L., Patel-Schneider, P.F., Goble, C., Möller, R. Proceedings of the 2001 International Workshop on Description Logics (DL2001), Stanford, CA, USA, 2001. Available online as CEUR Workshop Proceedings Volume 49.

2000 International Workshop on Description Logics (DL2000)
Location Aachen, Germany
Webpage http://dl.kr.org/dl2000/
Organizers Baader, F., Sattler, U.
Proceedings Available as CEUR Workshop Proceedings Volume 33.
Reference Baader,F., Sattler, U., Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, 2000. Available online as CEUR Workshop Proceedings Volume 33.

1999 International Workshop on Description Logics (DL99)
Location Linköping, Sweden
Webpage http://dl.kr.org/dl99/
Organizers Lambrix, P., Borgida, A., Lenzerini, M., Möller, R., Patel-Schneider, P.,
Proceedings Available as CEUR Workshop Proceedings Volume 22.
Reference Lambrix, P., Borgida, A., Lenzerini, M., Möller, R., Patel-Schneider, P., Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, 1999. Available online as CEUR Workshop Proceedings Volume 22.

1998 International Workshop on Description Logics (DL98)
Location Trento, Italy
Webpage http://dl.kr.org/dl98/
Organizers Franconi, E., De Giacomo, G., MacGregor, R.M., Nutt, W., Welty, C.A.
Proceedings Available as CEUR Workshop Proceedings Volume 11.
Reference Franconi, E., De Giacomo, G., MacGregor, R.M., Nutt, W., Welty, C.A., Proceedings of the 1998 International Workshop on Description Logics (DL'98). ITC-irst Proceedings Ref. No. 9805-03, Trento, Italy, June 1998. Available online as CEUR Workshop Proceedings Volume 11.

1997 International Workshop on Description Logics (DL97)
Location Gif sur Yvette (Paris), France
Webpage http://dl.kr.org/dl97/
Organizers Brachman, R., Donini, F., Franconi, E., Horrocks, I., Levy, A., Rousset, M.-C.
Proceedings available at dl.kr.org
Reference Brachman, R., Donini, F., Franconi, E., Horrocks, I., Levy, A., Rousset, M.-C., Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, URA-CNRS 410, October 1997.

1996 International Workshop on Description Logics (DL96)
Location Boston, MA, USA
Webpage http://dl.kr.org/dl96/
Organizers Padgham, L., Franconi, E., Gehrke, M., McGuinness, D.L., Patel-Schneider, P.
Proceedings available as tar archive
Reference Padgham, L., Franconi, E., Gehrke, M., McGuinness, D.L., Patel-Schneider, P., Proceedings of the 1996 International Workshop on Description Logics, AAAI Press, Technical report WS-96-05, Cambridge, MA, November 1996.

1995 International Workshop on Description Logics (DL95)
Location Rome, Italy
Organizers Borgida, A., Lenzerini, M., Nardi, D., Nebel, B.
Proceedings available at dl.kr.org
Reference Borgida, A., Lenzerini, M., Nardi, D., Nebel, B., 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.

1994 International Workshop on Description Logics (DL94)
Location Bonn, Germany
Organizers Baader, F., Lenzerini, M., Nutt, W., Patel-Schneider, P.
Proceedings available at dl.kr.org
Reference Baader, F., Lenzerini, M., Nutt, W., Patel-Schneider, P., Proceedings of the 1994 International Workshop on Description Logics, , DFKI-D-94-10, Bonn, Germany, May 28-29, 1994.

1992 Workshop on Issues in Description Logics: Users Meet Developers
Location Boston, MA, USA
Organizers MacGregor, R., McGuinness, D.L., Mays, E., Russ, T.
Proceedings An electronic version of the proceedings does not exist (papers were collected as hardcopy). A list of papers is available.
Reference MacGregor, R., McGuinness, D.L., Mays, E., Russ, T., Issues in Description Logics: Users Meet Developers, AAAI Fall Symposium Series, Cambridge, MA, October 1992.

1991 International Workshop on Terminological Logics
Location Dagstuhl, Germany
Organizers Nebel, B., von Luck, K., Peltason, C.
Proceedings You can access a list of papers and view the abstacts of accepted papers.
Reference Nebel, B., von Luck, K., Peltason, C., Proceedings of the International Workshop on Terminological Logics, DFKI-D-91-13, 1991. Also published as KIT Report and IWBS Report.

1989 Term Subsumption Languages Workshop
Location Thorn Hill, NH, USA
Organizers Mark, B., Patel-Schneider, P.F., Patil, R.S., Vilain, M.
Proceedings No proceedings have been produced. A report on the workshop has appeared in AI Magazine, Vol 11(2), 1990.
Also available are the statements of interest that attendants of the workshop have been asked to write.

1986 KL-ONE-Like Languages Workshop (aka NIKL Workshop)
Location Cambridge, MA, USA
Organizers Patil, R., Moore, J., McGuinness, D., et al
Proceedings A workshop summary has appeared as a report of USC/Information Sciences Institute, Marina del Rey, CA, USA.

1981 Second KL-ONE Workshop
Location Jackson, NH, USA
Organizers Brachman, R., Schmolze, J., et al.
Proceedings We have the source file in (the nowadays pretty much abandoned) scribe format. A postscript version is also available, though lacking the figures. Finally, there exists a list of papers.
Reference Brachman, R., Schmolze, J., Proceedings of the Second (1981) KL-ONE Workshop, BBN Report No. 4842, BBN Laboratories, Cambridge, MA, June 1982. Also published as FLAIR Report No. 4, Schlumberger, Palo Alto Research, 1982.

1980 First KL-ONE Workshop
Location Jackson, NH, USA
Organizers Brachman, R., et al.
Proceedings No proceedings have been produced.

Other DL-related workshops

If you want your workshop listed here, please send a mail.

Knowledge Representation meets Databases (KRDB)
Starting in 1994, there has been a series of annual workshops entitled Knowledge Representation meets Databases (KRDB). Many issues discussed at these workshops concern or are closely related to Description Logics. The KRDB workshop series has its own homepage.

2005 Workshop on OWL: Experiences and Directions (OWLED'05)
Location Galway, Ireland
Webpage http://dl.kr.org/owled2005/
Organizers Cuenca Grau, B., Horrocks, I., Parsia, B., Patel-Schneider, P.
Proceedings Available as CEUR Workshop Proceedings Volume ???.
Reference Cuenca Grau, B., Horrocks, I., Parsia, B., Patel-Schneider, P., Proceedings of the 2005 Workshop on OWL: Experiences and Directions (OWLED'04), Galway, Ireland, 2005. Available online as CEUR Workshop Proceedings Volume ???.

2004 Workshop on Applications of Description Logics (ADL'04)
Location Aachen, Germany
Webpage http://dl.kr.org/adl2004/
Organizers Bechhofer, S., Haarslev, V., Lutz, C., Möller, R.,
Proceedings Available as CEUR Workshop Proceedings Volume 115.
Reference Bechhofer, S., Haarslev, V., Lutz, C., Möller, R., Proceedings of the 2004 Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, 2004. Available online as CEUR Workshop Proceedings Volume 115.

2002 Workshop on Applications of Description Logics (ADL'02)
Location Aachen, Germany
Webpage http://dl.kr.org/adl2002/
Organizers Görz, G., Haarslev, V., Lutz, C., Möller, R.,
Proceedings Available as CEUR Workshop Proceedings Volume 63.
Reference Görz, G., Haarslev, V., Lutz, C., Möller, R., Proceedings of the 2002 Workshop on Applications of Description Logics (ADL2002), Aachen, Germany, 2002. Available online as CEUR Workshop Proceedings Volume 63.

2001 Workshop on Applications of Description Logics (ADL'01)
Location Vienna, Austria
Webpage http://dl.kr.org/adl2001/
Organizers Görz, G., Haarslev, V., Lutz, C., Möller, R.,
Proceedings Available as CEUR Workshop Proceedings Volume 44.
Reference Görz, G., Haarslev, V., Lutz, C., Möller, R., Proceedings of the 2001 Workshop on Applications of Description Logics (ADL2001), Vienna, Austria, 2001. Available online as CEUR Workshop Proceedings Volume 44.

1991 Terminological Logic Users Workshop
Location Berlin, Germany
Organizers Peltason, C., von Luck, K., Kindermann, C.
Proceedings A list of papers is available.
Reference Peltason, C., von Luck, K., Kindermann, C., Proceedings of the Terminological Logic Users Workshop, KIT-Report 95, TU-Berlin, Germany, December 1991.
This page maintained by Carsten Lutz.