2002 International Workshop on Description Logics (DL2002) Call for Papers Toulouse, France April 19-21, 2002 homepage: http://www.cs.man.ac.uk/dl2002 The 2002 International Workshop on Description Logics (DL2002) continues the tradition of international workshops devoted to discussing developments and applications of knowledge representation formalisms based on Description Logics. DL2002 will be an associated workshop of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), which will be held in Toulouse, France, 22-25 April, 2002. ---------------------------------------------------------------------- CALL FOR PAPERS We invite submissions of technical papers of 8 pages and short position papers (for people that want to participate in the workshop without giving talks). Authors of accepted technical and position papers will be invited to participate in the workshop (participation will be by invitation only). Accepted technical papers will be included in the workshop proceedings as normal papers (8 pages) or long papers (12 pages). The workshop proceedings will be distributed in paper form at the workshop, and will be made available electronically in the CEUR Workshop Proceedings series. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: January 21,2002 Notification of acceptance: February 18,2002 Camera ready papers due: March 10, 2002 Workshop: April 19-21, 2002 ---------------------------------------------------------------------- SCOPE We invite contributions on all other aspects of Description Logics. Possible subjects include -- Foundations of Description Logics, including distinguishing features of Description Logics with respect to other formalisms, expressive power of Description Logics, decidability and complexity of reasoning, and novel inference problems and reasoning techniques for solving these problems. -- Extensions of Description Logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages. -- Integration of Description Logics with other formalisms, such as object-oriented languages, constraint-based programming, logic programming, and rule-based systems. -- Use of Description Logics in applications or areas such as natural language, planning, learning, databases, document management systems, semi-structured data, and ontology design, with special emphasis on the pros and cons of choosing Description Logics. -- Building systems based on Description Logics, with special emphasis on optimization and implementation techniques. ---------------------------------------------------------------------- SUBMISSION DETAILS Interested parties are invited to submit a technical paper not exceeding 8 pages or a short position paper indicating interest in Description Logics and the workshop. Both kinds of submission should be formatted according to the guidelines to be found at http://www.cs.man.ac.uk/dl2002/cfp.html and must arrive by 10 January 2002. ---------------------------------------------------------------------- TRAVEL SUPPORT FOR FULL-TIME STUDENTS There is some support available for student attendance offered by AAAI. For more informations please contact the workshop organizers at the e-mail address dl2002@cs.man.ac.uk ---------------------------------------------------------------------- PROGRAM COMMITTEE Philippe Balbiani Alex Borgida Giuseppe De Giacomo Volker Haarslev Ian Horrocks Ralf Molitor Ulrike Sattler Sergio Tessaris David Toman Christopher A. Welty ---------------------------------------------------------------------- ORGANIZING COMMITTEE Ian Horrocks Sergio Tessaris Jeff Z. Pan ---------------------------------------------------------------------- SPONSORS DL2002 is supported by the American Association for Artificial Intelligence, Hewlett-Packard laboratories Bristol, and Network Inference. ---------------------------------------------------------------------- RESOURCES * Information regarding costs, travel information, hotels, etc. will be distributed later, as part of the KR conference information. Check the WWW page of the workshop at http://www.cs.man.ac.uk/dl2002 for pointers and updates. * Enquiries about the DL2002 workshop can be made by mailing to the organizing committee: dl2002@cs.man.ac.uk * The official Description Logics WWW home page is at http://dl.kr.org/dl/ * Patrick Lambrix has a nice collection of DL references, researchers, etc. at: http://www.ida.liu.se/labs/iislab/people/patla/DL/index.html ----------------------------------------------------------------------