![[DL]](../dl-small.gif)
WORKSHOPS
| 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 | 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. |