1999 International Workshop on Description Logics (DL'99) Linkoeping, Sweden Friday July 30 - Sunday August 1, 1999 Affiliated with: KRBD'99 - 6th International Workshop on KNOWLEDGE REPRESENTATION MEETS DATABASES (Linkoeping, July 29-30, 1999) IJCAI'99 - International Joint Conference on Artificial Intelligence (Stockholm, August 3-6, 1999) WWW: http://dl.kr.org/dl/dl99/ --------------------------------------------------------------------------- CALL FOR PAPERS The 1999 International Workshop on Description Logics (DL'99) continues the tradition of international workshops devoted to discussing developments and applications of knowledge representation formalisms based on Description Logics. We call for two types of contributions: paper submissions and DL systems for comparison. Independently from the DL systems comparison effort, demonstrations of systems and DL-based applications will be possible and people interested are encouraged to get in touch with the organizers. DL'99 will precede IJCAI'99 which is held in Stockholm. DL'99 will have a joint session with KRDB'99. --------------------------------------------------------------------------- SCOPE Subjects to be addressed include the following: -- Foundations of Description Logics, including distinguishing features of Description Logics with respect to other formalisms, expressive power of Description Logics, decidability and complexity results of reasoning, novel inferences and reasoning techniques for novel inferences. -- Extensions of Description Logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query languages, query rewriting, knowledge base reformulation and restructuring. -- Integration of Description Logics with other formalisms, such as object-oriented languages, constraint-based programming, logic programming, rule-based systems, etc. -- Use of Description Logics in applications or areas such as natural language, planning, learning, databases, software engineering, information management systems, document management systems, semi-structured data, ontology design, etc, with special emphasis on justifying the choice of DL compared to other formalisms. -- Building systems based on Description Logics with special emphasis on optimization, storage and implementation techniques. --------------------------------------------------------------------------- PAPER SUBMISSION Interested parties should prepare an extended abstract on some aspect of their current work in Description Logics (no more than 5 LaTeX 12-point article-style pages), or a short position paper indicating interest in Description Logics and the workshop. Please prepare a version of your submission (preferably as a self-contained LaTeX 12-point article style file) and send it to dl99@dl.kr.org by e-mail, to arrive by March 19, 1999. We will determine participation in the workshop by April 24, 1999 on the basis of the submitted papers. Some authors will be asked to prepare a longer version of their paper for inclusion in the proceedings. Revised versions of accepted proceedings papers should be sent by May 29, 1999. The workshop proceedings will be published electronically at CEUR Workshop proceedings. A hard copy version is planned as well. --------------------------------------------------------------------------- IMPORTANT DATES Paper Submission Paper submission deadline: March 19, 1999 Notification of acceptance: April 24, 1999 Camera ready papers due: May 29, 1999 DL'99 Workshop: July 30 - August 1, 1999 --------------------------------------------------------------------------- --------------------------------------------------------------------------- DL SYSTEMS COMPARISON DL'99 will host a DL systems comparison session. Systems will be compared on the basis of benchmarks which will be prepared in order to emphasize the best out of each system. We have four aims: * To reach a consensus on a corpus of benchmarks for DL systems, which may become an agreed standard. * Bringing people together with a common interest in implementation work on various DLs. * Giving the implementors of reasoners for the considered logics the opportunity to demonstrate their systems and to make them better known. * To compare different reasoning methods for DL. This year we also particularly encourage the presentation of systems that can deal with axioms. WHO CAN TAKE PART? Everybody who has written a reasoner for DL which accepts a reasonable subset of the language specified by the KRSS document can submit an entry. All the knowledge bases interchanges will be done using the neutral syntax specified by the KRSS document. We prefer reasoners that are easily available to everybody or can be used by some means (e.g., over the WWW). Everybody who takes part automatically accepts the procedure of the comparison. PROCEDURE The benchmark KBs will be available via the comparison home page at http://www.ida.liu.se/labs/iislab/DL99/comparison/. People willing to participate must confirm their participation to Peter Patel-Schneider at pfps@research.bell-labs.com by March 19, 1999. We encourage participants to indicate their interest as soon as possible and to participate in the selection of benchmarks. Participants may additionally submit a set of benchmarks which possibly show where their systems excel. These benchmarks should be written in the neutral KRSS syntax, and should be representable in at least one other available DL system. If these benchmarks are submitted early enough, they may be used as the basis of a parameterized set. Important: The participants time their systems at their site before the workshop. The result should contain the following information: * Name of the system, if possible a WWW address or a reference to the literature. * Some information about the algorithms. * Advantages of your system besides efficiency * The programming language used to implement the system. * The hardware used for the timings. * The results of the timings, plus a note if you deviated from the limits in the specified procedure. * Optional comments on the various results. The result should be submitted as a self-contained postscript document to Peter Patel-Schneider at pfps@research.bell-labs.com by April 24, 1999. PUBLICATION/PRESENTATION OF RESULTS The organizers will compile short summaries of these results. If the organizers want to check the results of some participants, then the participants are responsible for providing sufficient support. They must give the organizers the possibility to check the results at the participant's site. The summaries will appear in the proceedings of the DL'99 workshop. At the workshop, the participants will have the possibility to demonstrate their systems either on site or over the internet to another site. Posters describing the systems may be displayed. Everybody is welcome to submit for evaluation by the PC of DL'99 either full papers describing any new approaches or system descriptions describing new implementations (or both). --------------------------------------------------------------------------- IMPORTANT DATES DL Systems Comparison Intention of participation: March 19, 1999 Disclosure of the official comparison benchmarks: tba Deadline for the submission of the results: April 24, 1999 Summaries of the results available: May 29, 1999 --------------------------------------------------------------------------- --------------------------------------------------------------------------- ORGANIZING COMMITTEE Patrick Lambrix Department of Computer and Information Science Linköpings universitet Linköping, Sweden. patla@ida.liu.se Alex Borgida Maurizio Lenzerini Department of Computer Science Dipartimento di Informatica e Sistemistica Rutgers University Universita' degli Studi di Roma New Brunswick, NJ, USA. "La Sapienza", Roma, Italy. borgida@cs.rutgers.edu lenzerini@dis.uniroma1.it Ralf Möller Peter Patel-Schneider Computer Science Department Bell Labs Research University of Hamburg Murray Hill, NJ, USA. Hamburg, Germany. pfps@research.bell-labs.com moeller@informatik.uni-hamburg.de --------------------------------------------------------------------------- SPONSORS Teknikvetenskapliga forskningsrådet (TFR) Laboratory for Intelligent Information Systems, Linkoepings universitet --------------------------------------------------------------------------- RESOURCES * Enquiries about the DL'99 workshop can be made by mailing to dl99@dl.kr.org. * Information regarding costs, travel information, hotels, etc. will be distributed later. Check the WWW page of the workshop at http://dl.kr.org/dl/dl99/ for updates. * The official Description Logics WWW home page is at http://dl.kr.org/dl/.