1998 International Workshop on Description Logics (DL'98) Trento, Italy Saturday June 6 - Monday June 8, 1998 (coordinated event with KR'98 -- Sixth International Conference on Principles of Knowledge Representation and Reasoning)

Call for Papers

The 1998 International Workshop on Description Logics (DL'98) 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. Indipendently 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'98 will immediately follow KR'98 (Sixth International Conference on Principles of Knowledge Representation and Reasoning) which will be held in Trento, Italy, June 2-5, 1998.
	Advertising (click for more info):
	DL'98 will not clash with SIGMOD/PODS'98, which will be held in Seattle WA, USA, June 1-4, 1998: people willing attend both SIGMOD/PODS'98 and DL'98 will have one day and a half for traveling from USA to Italy.

SCOPE

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 dl98@dl.kr.org by e-mail, to arrive by Friday March 6, 1998.
We will determine participation in the workshop by Monday April 20, 1998 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 Friday May 8, 1998. The revised position papers will be electronically distributed to participants. The proceedings consisting of revised versions of the position papers will be produced and distributed after the workshop, and made available to other researchers.

DL SYSTEMS COMPARISON

• 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. (There also exists the possibility to submit system descriptions to DL'98).
• There are many reasoning methods for DL. We propose a comparison, with no winners or prizes, of these approaches.

IMPORTANT DATES

ORGANIZING COMMITTEE

DL systems comparison Committee:

Wine Committee:

RESOURCES

• Enquiries about the DL'98 workshop can be made by mailing to dl98@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/dl98/ for updates.
• The http://dl.kr.org/dl/dl98/comparison/ DL'98 systems comparison home page.
• The official Description Logics WWW home page is at http://dl.kr.org/dl/.
• The Call for papers:
  • The postscript leaflet of the workshop;
  • the ASCII text Call for Papers of the workshop.