The 2001 International Workshop on Description Logics continues the tradition of international workshops devoted to discussing developments and applications of knowledge representation formalisms based on Description Logics. It is the 14th in the series of international workshops. Demonstrations of systems laboratory description logic -based applications will be possible and people interested are encouraged to get in touch with the organizers.
The main focus of DL2001 will be on
DL2001 will be held in conjunction with the International Semantic Web Workshop (SWWS) from July 30-31 and the ICCS2001 (International Conference on Conceptual Structures), which will be held in Stanford, California, U.S.A., July 31 to August 3, 2001. This workshop is held in cooperation with the DARPA DAML Program. Student support is being sponsored by AAAI. Corporate sponsorship is being provided by Network Inference .
The Call for Papers can be found at http://www.ksl.stanford.edu/dl2001/cfp.html.
A list of accepted papers is available.
The workshop will begin with a joint session with ICCS on Wednesday morning August 1, 2001 and will continue with description logic-specific sessions through Friday afternoon May 3, 2001. A schedule is available.
Department of Computer Science
University of Manchester, Manchester, UK
Deborah L. McGuinness (co-chair)
Knowledge Systems Laboratory
Stanford University, Stanford, CA
Ralf F. Moeller
Computer Science Department
University of Hamburg, Hamburg, Germany
Peter F. Patel-Schneider (co-chair)
Bell Labs Research
Murray Hill, NJ, U. S. A.