Description Logics Workshops

2023  2022  2021  2020  2019  2018  2017  2016  2015  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 

2023 International Workshop on Description Logics (DL2023)

Location Rhodes, Greece
Webpage https://dl2023.w.uib.no/
General Chair Carsten Lutz
PC Co-Chairs Ana Ozaki and Oliver Kutz
Local Chair Pavlos Peppas
Publicity Co-Chair Maurice Funk and Ricardo Guimarães
Proceedings Available as CEUR Workshop Proceedings Volume 3515.
Reference Kutz, O., Lutz, C., Ozaki, A., Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), 2023. Available online as CEUR Workshop Proceedings Volume 3515.

2022 International Workshop on Description Logics (DL2022)

Location Haifa, Israel
Webpage https://dai.fmph.uniba.sk/events/dl2022/
General Chair Jean Christoph Jung
PC Co-Chairs Martin Homola and Marie-Laure Mugnier
Local Chair Ofer Arieli
Publicity Co-Chair Ján Kľuka and Júlia Pukancová
Proceedings Available as CEUR Workshop Proceedings Volume 3263.
Reference Arieli, O., Homola, M., Jung, J.C., Mugnier, M.-L., Proceedings of the 35th International Workshop on Description Logics (DL2022) co-located with Federated Logic Conference (FLoC 2022), 2022. Available online as CEUR Workshop Proceedings Volume 3263.

2021 International Workshop on Description Logics (DL2021)

Location Bratislava, Slovakia (partially online because of COVID19)
Webpage http://dl.kr.org/dl2021/
PC Chairs Vladislav Ryzhikov and Renate Schmidt
General and Local Chair Martin Homola
Sponsorship Chair Jean Christoph Jung
Proceedings Available as CEUR Workshop Proceedings Volume 2954.
Reference Homola, M., Ryzhikov, V. , Schmidt, R., Proceedings of the 2021 International Workshop on Description Logics (DL2021), 2021. Available online as CEUR Workshop Proceedings Volume 2954.

2020 International Workshop on Description Logics (DL2020)

Location Online because of COVID19 (originally planned to be in Rhodes, Greece)
Webpage http://dl.kr.org/dl2020/
PC Chairs Stefan Borgwart, Tommie Meyer
Genral Chair Bernardo Cuenca Grau
Proceedings Available as CEUR Workshop Proceedings Volume 2663.
Reference Borgwardt, S., Meyer, T., Proceedings of the 2020 International Workshop on Description Logics (DL2020), 2020. Available online as CEUR Workshop Proceedings Volume 2663.

2019 International Workshop on Description Logics (DL2019)

Location Oslo, Norway
Webpage http://dl.kr.org/dl2019/
PC Chairs Mantas Simkus, Grant Weddell
Local Chairs Martin Giese, Arild Waaler
Proceedings Available as CEUR Workshop Proceedings Volume 2373.
Reference Simkus, M., Wedell, G., Proceedings of the 2019 International Workshop on Description Logics (DL2019), Oslo, Norway, 2019. Available online as CEUR Workshop Proceedings Volume 2373.

2018 International Workshop on Description Logics (DL2018)

Location Tempe, AZ, USA
Webpage http://dl.kr.org/dl2018/
General Chair Michael Zakharyaschev
PC Chairs Magdalena Ortiz, Thomas Schneider
Proceedings Available as CEUR Workshop Proceedings Volume 2211.
Reference Ortiz, M., Schneider, T., Proceedings of the 2018 International Workshop on Description Logics (DL2018), Tempe, Arizona, US, 2018. Available online as CEUR Workshop Proceedings Volume 2211.

2017 International Workshop on Description Logics (DL2017)

Location Montpellier, France
Webpage http://dl.kr.org/dl2017/
Local Chairs Meghyn Bienvenu, Marie-Laure Mugnier
PC Chairs Alessandro Artale, Birte Glimm, Roman Kontchakov
Proceedings Available as CEUR Workshop Proceedings Volume 1879.
Reference Artale, A., Glimm, B., Kontchakov, R., Proceedings of the 2017 International Workshop on Description Logics (DL2017), Montpellier, France, 2017. Available online as CEUR Workshop Proceedings Volume 1879.

2016 International Workshop on Description Logics (DL2016)

Location Cape Town, South Africa
Webpage http://dl.kr.org/dl2016/
Local Chairs Arina Britz, Tommie Meyer
PC Chairs Maurizio Lenzerini, Raphael Penaloza-Nyssen
Proceedings Available as CEUR Workshop Proceedings Volume 1577.
Reference Lenzerini, M, Penaloza, R. Proceedings of the 2016 International Workshop on Description Logics (DL2016), Cape Town, South Africa, 2016. Available online as CEUR Workshop Proceedings Volume 1577.

2015 International Workshop on Description Logics (DL2015)

Location Athens, Greece
Webpage http://dl.kr.org/dl2015/
General Chair Giorgos Stamou, Giorgos Stoilos
PC Chairs Diego Calvanese, Boris Konev
Proceedings Available as CEUR Workshop Proceedings Volume 1350.
Reference Calvanese, D, Konev, B. Proceedings of the 2015 International Workshop on Description Logics (DL2015), Athens, Greece, 2015. Available online as CEUR Workshop Proceedings Volume 1350.

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), Vienna, Austria, 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 available at dl.kr.org
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 available at dl.kr.org
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. Here is the workshop agenda.

1981 Second KL-ONE Workshop

Location Jackson, NH, USA
Organizers Brachman, R., Schmolze, J., et al.
Proceedings Are here.
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 Position papers, list of attendees, agenda,