From crabapple.srv.cs.cmu.edu!cantaloupe.srv.cs.cmu.edu!magnesium.club.cc.cmu.edu!news.mic.ucla.edu!library.ucla.edu!agate!howland.reston.ans.net!darwin.sura.net!udel!princeton!allegra!ulysses!research!pfps Wed Aug 4 12:12:46 EDT 1993 Article: 18095 of comp.ai Xref: crabapple.srv.cs.cmu.edu comp.ai:18095 Newsgroups: comp.ai Path: crabapple.srv.cs.cmu.edu!cantaloupe.srv.cs.cmu.edu!magnesium.club.cc.cmu.edu!news.mic.ucla.edu!library.ucla.edu!agate!howland.reston.ans.net!darwin.sura.net!udel!princeton!allegra!ulysses!research!pfps From: pfps@research.att.com (Peter F. Patel-Schneider) Subject: 1994 Description Logic Workshop Announcement Message-ID: Date: Wed, 28 Jul 1993 15:47:12 GMT Distribution: comp Organization: /home/pfps/.organization Lines: 99 Announcement of the 1994 International Workshop on Description Logics At the 1993 AAAI Fall Symposium on Description Logics it was decided to have a workshop on description logics adjacent to KR-94. The workshop will be held at the Gustav Stresemann Institut in Bonn, Germany on 28 and 29 May 1994. This is immediately after KR-94, and at the same site. Costs for attending the workshop including room and board at the institute will be approximately 320DM. The workshop will be limited to approximately 40 people. If you are interested in attending the workshop please send a message to the organizers stating your name, postal address, electronic mail address, phone number, and fax number, in the format demonstrated below. Please do this as soon as possible (by 15 September at the latest) so we can make any necessary modifications to the local arrangements. Interested parties should prepare a short position paper on the subjects they would like to discuss at the workshop. (No more than 5 LaTeX article-style pages.) Subjects to be addressed could include the following: Applications of Description Logics, concentrating on what aspects of description logics make them useful in the application; Foundations of Description Logics, including complexity and decidability results, semantics, and integration with other formalisms (such as constraint logic programming); Knowledge Representation Systems based on Description Logics, concentrating on empirical results, novel algorithms, and implementation techniques; Extensions to Description Logics, including, but not limited to, defaults, queries, temporal reasoning, and constraints; Uses of Description Logics in other areas, such as using them as query or data definition languages in databases. We are also planning on having some discussion of the ARPA Knowledge Representation System Specification effort. Please prepare a version of your position paper (preferably as a self-contained LaTeX 12-point article style file) and send it to us (preferably by electronic mail) to arrive by 11 February 1994. The position paper should include references to your past work in the field. We will determine participation in the workshop on or before 4 March 1994, based on these preliminary position papers and past work. Revised versions of position paper should be sent to the organizers by 1 April 1994, and will be distributed to participants (probably electronically). A technical report consisting of these revised versions will be produced after the workshop, and made available to others in the field. Franz Baader Maurizio Lenzerini Werner Nutt Peter F. Patel-Schneider Contact Information: Name: Franz Baader Address: Lehr- und Forschungsgebiet Theoretische Informatik RWTH Aachen Ahornstrasse 55 D-52047 Aachen Germany E-mail: baader@informatik.rwth-aachen.de Name: Maurizio Lenzerini Address: Dipartimento di Informatica e Sistermistica Universita di Roma, "La Sapienza" via Salaria 113, I-00198 Rome ITALY E-mail: lenzerini@assi.ing.uniroma1.it Name: Werner Nutt Address: German Research Center for Artificial Intelligence Stuhlsatzenhausweg 3 D-66123 Saarbruecken 11 Germany E-mail: nutt@dfki.uni-sb.de Fax: +49 681 302-5341 Name: Peter F. Patel-Schneider Address: AT&T Bell Labs PO Box 636 600 Mountain Avenue, 2C-405 Murray Hill, NJ 07974-0636 U.S.A. E-mail: pfps@research.att.com Phone: +1 908 582-3399 Fax: +1 908 582-7550 -- Peter F. Patel-Schneider AT&T Bell Labs; 600 Mountain Avenue, 2C-405; Murray Hill, NJ 07974; U.S.A. pfps@research.att.com