[DL]
DESCRIPTION LOGIC
WORKSHOPS



Past DL Workshops and Proceedings

2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999  1998  1997  1996  1995  1994  1992  1991  1989  1986  1981  1980 

2014 International Workshop on Description Logics (DL2014)
Location Vienna, Austria
Webpage http://dl.kr.org/dl2014/
General Chair Magdalena Ortiz, Mantas Simkus
PC Chairs Meghyn Bienvenu, Riccardo Rosati
Proceedings Available as CEUR Workshop Proceedings Volume 1193.
Reference Bienvenu, M., Ortiz, M., Rosati, R., Simkus, M., Proceedings of the 2014 International Workshop on Description Logics (DL2014), Ulm, Germany, 2014. Available online as CEUR Workshop Proceedings Volume 1193.

2013 International Workshop on Description Logics (DL2013)
Location Ulm, Germany
Webpage http://dl.kr.org/dl2013/
General Chair Birte Glimm, Yevgeny Kazakov
PC Chairs Thomas Eiter, Markus Kroetzsch
Proceedings Available as CEUR Workshop Proceedings Volume 1014.
Reference Eiter, T., Glimm, B., Kazakov, Y., Kroetzsch, M., Proceedings of the 2013 International Workshop on Description Logics (DL2013), Ulm, Germany, 2013. Available online as CEUR Workshop Proceedings Volume 1014.

2012 International Workshop on Description Logics (DL2012)
Location Rome, Italy
Webpage http://dl.kr.org/dl2012/
General Chair Domenico Lembo
PC Chairs Yevgeny Kazakov, Frank Wolter
Proceedings Available as CEUR Workshop Proceedings Volume 846.
Reference Kazakov, Y., Lembo, D, Wolter, F., Proceedings of the 2012 International Workshop on Description Logics (DL2012), Rome, Italy, 2012. Available online as CEUR Workshop Proceedings Volume 846.

2011 International Workshop on Description Logics (DL2011)
Location Barcelona, Spain
Webpage http://dl.kr.org/dl2011/
General Chair Riccardo Rosati
PC Chairs Sebastian Rudolph, Michael Zakharyaschev
Proceedings Available as CEUR Workshop Proceedings Volume 745.
Reference Rosati, R., Rudolph, S., Zakharyaschev, M., Proceedings of the 2011 International Workshop on Description Logics (DL2011), Barcelona, Spain, 2011. Available online as CEUR Workshop Proceedings Volume 745.

2010 International Workshop on Description Logics (DL2010)
Location Waterloo, Canada
Webpage http://dl.kr.org/dl2010/
General Chair Grant Weddell
PC Chairs Volker Haarslev, David Toman
Proceedings Available as CEUR Workshop Proceedings Volume 573.
Reference Haarslev, V., Toman, D., Weddell, G., Proceedings of the 2010 International Workshop on Description Logics (DL2010), Waterloo, Canada, 2010. Available online as CEUR Workshop Proceedings Volume 573.

2009 International Workshop on Description Logics (DL2009)
Location Oxford, UK
Webpage http://dl.kr.org/dl2009/
General Chair Ian Horrocks
PC Chairs Bernardo Cuenca Grau, Boris Motik
Proceedings Available as CEUR Workshop Proceedings Volume 477.
Reference Cuenca Grau, B., Horrock, I., Motik, B., Proceedings of the 2009 International Workshop on Description Logics (DL2009), Oxford UK, 2009. Available online as CEUR Workshop Proceedings Volume 477.

2008 International Workshop on Description Logics (DL2008)
Location Dresden, Germany
Webpage http://dl.kr.org/dl2008/
General Chair Franz Baader
PC Chair 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 Diego Calvanese, Enrico Franconi, Sergio Tessaris
PC Chairs Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan
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.

This page maintained by Carsten Lutz.