Return-Path: jq@lirmm.lirmm.fr Received: from [193.49.104.48] ([193.49.104.48]) by lirmm.lirmm.fr (8.6.10/8.6.4) with SMTP id KAA14377; Tue, 16 May 1995 10:59:52 +0200 Date: Tue, 16 May 1995 10:59:52 +0200 X-Sender: jq@lirmm.lirmm.fr Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Mailer: Eudora F1.5.1 To: arc, dif From: hak@chaumes.cs.sfu.ca (transmis par jq@lirmm.lirmm.fr (Joel Quinqueton)) Bonjour, Faites de la pub si vous pouvez! Essayez d'y venir, c'est une bonne conference. A bientot, -hak From: Gerard Ellis To: Multiple recipients of list Subject: Programme: (DBWORLD) KRUSE Symposium: Knowledge Retrieval, Use and Storage for Efficiency X-To: dbworld@quarg.cs.wisc.edu X-Listprocessor-Version: 7.1 -- ListProcessor by CREN Please find below the programme for KRUSE. A postscript version can be ftp'ed ftp.cs.rmit.edu.au /pub/rmit/KRUSE/KRUSE.ps.Z Also the KRUSE home page on the World Wide Web is http://www.cs.rmit.edu.au/KRUSE/ Regards, Gerard - -- Gerard Ellis ged@cs.rmit.edu.au ph:61-3-660-5090 FAX:61-3-662-1617 Rm:10.9.11 WWW: http://www.cs.rmit.edu.au/~ged Computer Science Dept, Royal Melbourne Institute of Technology, GPO Box 2476V, Melbourne, Victoria, 3001, AUSTRALIA ______________________________________________________________ CALL FOR PARTICIPATION International KRUSE Symposium ___ Knowledge Retrieval, Use, and Storage for Efficiency ___ University of California, Santa Cruz August 11-13 1995 Sponsored by: Microtel Pacific Research, Burnaby, Canada. IBM, Santa Teresa Laboratory, San Jose. University of California at Santa Cruz. Royal Melbourne University of Technology, Australia. Centre for Systems Science, Simon Fraser University, Canada. THEME The symposium is a forum for exploring current research in artificial intelligence, cognitive science, and databases that pertains to the organization, encoding and retrieval of logical and complex objects. The symposium draws together researchers from diverse disciplines as well as practitioners engaged in developing real object-oriented term classification systems. The basic questions to be addressed include o classification of objects in a taxonomy: systemic classification, semantic indexing, partial-order sorting, description identification, and taxonomy maintenance. o efficient order, lattice, graph, and code theoretic operations on objects: subsumption, generalization, specialization, least common generalization, and greatest common specialization. o advanced uses of taxonomies: knowledge compression, knowledge compilation, and knowledge evolution. o using classified knowledge: classification as problem solving, classification as constraint satisfaction, and exploiting abstraction. o scalable techniques for large object databases o integration of data and knowledge base technologies The symposium maintains a balance between theoretical issues and descriptions of implemented systems providing a balance between theory and practice. The focus of the symposium is on efficiency of retrieval, use and storage of knowledge. ORGANIZING COMMITTEE: Veronica Dahl (Co-Chair) Gerard Ellis, RMIT (Program Chair) Director, Logic and Functionall Computer Science Dept. Programming Group Royal Melbourne Inst of Technology Professor, Computing Sciences Dept. GPO Box 2476, Melbourne, VIC 3001 Simon Fraser University Australia Burnaby, B.C. V5A 1S6 CANADA veronica@cs.sfu.ca ged@cs.rmit.edu.au Phone (604) 291-3372 Phone: 61-3-660-5090 Fax (604) 291-3045 Fax: 61-3-662-1617 Andrew Fall (Co-Chair) Robert Levinson (Local Arrangements Chair) School of Computing Science Dept. of Computer & Information Sciences Simon Fraser University 229 Applied Sciences Building Burnaby, B.C. V5A 1S6 CANADA University of California fall@cs.sfu.ca Santa Cruz, CA 95064 U.S.A. Phone: (604) 291-4302 levinson@cis.ucsc.edu Fax: (604) 291-3045 Phone: (408) 429-2087 Fax: 459-4829 PROGRAM COMMITTEE: Mohan Ahuja (USA) Robert Levinson (USA) Hassan Ait-Kaci (Canada) Patrick Lincoln (USA) Franz Baader (Germany) Robert MacGregor (USA) Yves Caseau (France) Deborah McGuinness (USA) Darrell Conklin (Canada) Guy Mineau (Canada) Veronica Dahl (Canada) Werner Nutt (Germany) Francesco Donini (Italy) Peter Patel-Schneider (USA) Gerard Ellis (Australia) Raghu Ramakrishnan (USA) Andrew Fall (Canada) Manfred Schmidt-Schauss (Germany) Brian Gaines (Canada) James Schmolze (USA) Jim Hendler (USA) Gert Smolka (Germany) Fritz Lehmann (USA) Leon Sterling (USA) Maurizio Lenzerini (Italy) Auxiliary Reviewers Jamie Andrews (Canada), Lin Padgham (Australia), Alex Borgida (USA), Michel Habib (France), Andreas Podelski (Germany), Rudolf Wille (Germany). CONFERENCE PROGRAM FRIDAY August 11 8:00 - 9:00 Registration 9:00 - 9:30 Welcome Address and Conference Opening Session 1: Description Logics 9:30 - 10:00 "Towards More Informative Answers in Terminological Logics" Margarida Mamede and Luis Monteiro, Universidade Nova de Lisboa (Portugal) 10:00 - 10:30 "Runtime and memory usage performance of description logics" Piet-Hein Speel, Frank van Raalte, Paul E. van der Vet, and Nicolaas J.I. Mars, University of Twente (The Netherlands) 10:30 - 11:00 Coffee Break Session 2: Description Logics 11:00 - 11:30 "Implementing and Testing Expressive Description Logics: A Preliminary Report" Paolo Bresciani, Enrico Franconi and Sergio Tessaris, IRST (Italy) 11:30 - 12:00 "Integrating a Description Logic System and an Object-Centered Database System" Lin Padgham, (RMIT, Australia), Patrick Lambrix, and Stefan Kalmelid (University of Linkoping, Sweden) 12:00 - 12:15 "Terminological Reasoning by Query Evaluation: A Formal Mapping of a Terminological Logic to an Object Data Model" Ulrich Reimer, P. Lippuner (Swiss Life, Switzerland), M. Norrie, and M. Rys (Swiss Federal Institute of Technology, Switzerland) 12:15 - 1:30 Lunch (Provided) Session 3: Deductive Databases / Classification 1:30 - 1:45 "Natural Deduction of Inheritance in Datalog" Miguel-Angel Oros-Hernandez 1:45 - 2:00 "Knowledge Evolution in Deductive Databases" Danilo Montesi (Imperial College, UK) and Franco Turini (Universita di Pisa, Italy) 2:00 - 2:15 "Self-Organizing Knowledge Bases: The Integration Based Approach" Adil Kabbaj, Universite de Montreal (Canada) 2:15 - 2:30 "Objects, types and constraints as classification schemes" Cecile Capponi, Jerome Euzenat and Jerome Gensel, INRIA, Grenoble (France) 2:30 - 3:00 Coffee Break Session 4: Classification 3:00 - 3:30 "Classification and Representation of Types in TDL" Hans-Ulrich Krieger, DFKI, Saarbrucken (Germany) 3:30 - 4:00 "A Computational Model for the Efficient Retrieval of Very Large Structure-Based Knowledge Bases" Jose F. Quesada (Centro Informatico Cientifica de Andalucia, Spain) and Gabriel Amores (Universidad de Sevilla, Spain) 4:00 - 4:15 "Efficient Knowledge Base Reasoning with Transitive DAGs" Jutta Eusterbrock, GMD, Darmstadt (Germany) 4:15 - 5:30 Panel Discussion: ... 5:30 Reception SATURDAY August 12 8:00 - 9:00 Registration Session 5: Matching/Defaults/Legibility 9:00 - 9:30 "Improving the Legibility of Knowledge Bases" Florence Lemaire, INRIA (France) 9:30 - 10:00 "Defaults in concept definitions: an application" Pascal Coupey and Christophe Fouquere, Universite Paris-Nord (France) 10:00 - 10:30 "Parallel Matching of Knowledge Structures" William A. Andersen and James A. Hendler (University of Maryland, USA) 10:30 - 11:00 Coffee Break Session 6: Encoding Methods 11:00 - 11:30 "Heterogenous Encoding" Andrew Fall, Simon Fraser University (Canada) 11:30 - 12:00 "Embedding Partially Ordered Sets in Product of Chains" Michel Habib, Marianne Huchard and Lhouari Nourine, LIRMM, Universite Montpellier II (France) 12:00 - 12:15 "An Abstract Framework for Taxonomic Encoding" Andrew Fall, Simon Fraser University (Canada) 12:15 - 1:30 Lunch (Provided) Session 7: Concept Analysis/ Compression 1:30 - 2:00 "Computing a Minimal Representation of the Subsumption Lattice of All Conjunctions of Concepts Defined in a Terminology" Franz Baader, RWTH Aachen (Germany) 2:00 - 2:30 "Incremental Structuring of Knowledge Bases" Robert Godin (Universite du Quebec a Montreal, Canada), Guy Mineau (Universite Laval, Canada), and Rokia Missaouri ((Universite du Quebec a Montreal, Canada) 2:30 - 2:45 "Issues in the Efficient Use of a Relation Ontology for Conceptual Reasoning" Chris Nowak and Peter W. Eklund, University of Adelaide (Australia) 2:45 - 3:00 "On Compressing Databases Using Multi-Field Pattern Matching" Weizhen Mao and Rahul Simha (College of William and Mary, USA) 3:00 - 3:30 Coffee Break Session 8: Demonstrations 3:30 - 5:30 Demonstration of implemented systems. 5:30 Reception SUNDAY August 13 8:00 - 9:00 Registration Session 9: Conceptual Graphs / Graphical Formalisms 9:00 - 9:30 "The Search for Polynomial Projection of Conceptual Graphs" Mark Willems, Free University of Amsterdam (The Netherlands) 9:30 - 10:00 "Formalization of graphical schemas for conceptual modelling: General sketch-based logic vs. heuristic pictures" B. Cadish and Z. Diskin, Frame Inform Systems (Latvia) 10:00 - 10:15 "An Activity-based Ontology using Conceptual Graphs" Alexandra Galatescu ICI-Research Institute for Informatics (Romania) 10:15 - 10:30 "Agreement graph dependencies and their application to object-oriented design" John Leuchner and Rattikorn Hewett (Florida Atlantic University, USA) and Less Miller and Giora Slutzki (Iowa State University, USA) 10:30 - 11:00 Coffee Break Session 10: Conceptual Graphs and Description Logics 11:00 - 12:00 "On the relationship between Conceptual graphs and Description Logics" Gerard Ellis (RMIT) and Lin Padgham (RMIT) 12:00 - 1:30 Lunch (Provided) Session 2: Panel Discussion 1:30 - 2:00 Panel: Conceptual Graphs vs Description Logics 2:00 - 2:30 Symposium Close 3:00 Reception This programme and the latest information regarding KRUSE can be found on the World Wide Web under http://www.cs.rmit.edu.au/KRUSE/ Information regarding the related 3rd International Conference on Conceptual Structures ICCS95, August 14-18, 1995, University of California, Santa Cruz, can be found on the World Wide Web under http://www.cs.rmit.edu.au/ICCS95/ ***************************************************************************** AIRPORT TRANSPORTATION Alpha Cab: 408-295-8001 Santa Cruz Airporter: (a shuttle) 408-423-1234 Auto Rental: Auto World: 408-423-9830 725 Soquel Ave. Santa Cruz. Budget Rent-A-Car: 408-425-1808 919 Ocean Street - Santa Cruz DIRECTIONS: 1. From San Francisco: Take 101 South to Highway 880 South which turns into Highway 17 at San Jose. You'll drive over the scenic Santa Cruz mountains on Highway 17 right into Santa Cruz. Exit onto Hiway 1 to Half Moon Bay - follow UCSC signs. 2. From San Jose. Take Highway 17 over the Santa Cruz Mountains into the heart of Santa Cruz. Exit onto Hiway 1 to Half Moon Bay - follow UCSC signs. 3. From Monterey. Take Highway 1 North through the fertile agricultural area of the Pajaro Valley to Santa Cruz. Exit onto Hiway 1 to Half Moon Bay - follow UCSC signs. **************************************************************************** * Kruse'95 REGISTRATION FORM Name: ___________________________________________________ Affiliation: ________________________________________________ Address: _________________________________________________ _________________________________________________________ Telephone: ___________________________ Fax: ________________________________ e-mail: ______________________________ Please indicate which event(s) for which you are registering. Symposium registrants need not register for the Conference unless they wish to do so. ___ $200 ($150 with ICCS registration) Symposium fee before 7/15/94 ___ $250 ($200 with ICCS) Symposium fee after 7/15/95 ___ $100 ($75 with ICCS registration) Student fee before 7/15/94 ___ $150 ($125 with ICCS) Student fee after 7/15/94 Commuter Options: If not registering for UCSC housing (see below) you may register for: parking(M-F): ($4/day) 11? week ($10)? lunch: (6$/day) Specify days: 11? 12? 13? 3 meals: ($18/day) Specify days: 11? 12? 13? Amount Enclosed: $________________ MAKE CHECKS PAYABLE TO "UC REGENTS" Conference fee includes proceedings and receptions. Payment must accompany the registration form. Checks must be in US dollars only and payable to "UC REGENTS" Please do not send cash. CREDIT CARDS WILL NOT BE ACCEPTED. Students must provide a copy of a student I.D. card or a letter from an advisor for proof of student status. RETURN BY JULY 15, 1995 TO: Kruse95-registration Prof. Robert Levinson 225 Applied Sciences Building Department of Computer and Information Sciences. University of California at Santa Cruz Santa Cruz, CA 95060 408-459-2087 FAX: 408-459-4829 e-mail: levinson@cse.ucsc.edu **************************************************************************** APARTMENT RESERVATION FORM Kruse'95 August 11-12, 1995 University of California Santa Cruz Housing Please reserve the following accommodations: (Base rates are per person, per room, per night). ___ $70.25 Single Occupancy - basic $84.25 -deluxe (send $140.50 for two days) (send $169.00 for two days) ___ $58.25 Double Occupancy - basic $71.50 - deluxe (send $116.50 for two days) (send $143.00 for two days) Basic includes fresh towels and linens but no housekeeping. Deluxe includes full daily house-keeping. Three dining hall meals per day are included with housing payment. Apartment guests must register for at least the nights of Aug. 11 and Aug. 12. In addition you may register for Aug. 10 and Aug. 13. August 10? __________ August 13? ___________ (if registering for these nights - increase your deposit accordingly). ___ Smoking ___ Non-smoking Desired Roomate ____________ (if doubling). [Roommate will be assigned if not specified.] ___ Deposit check enclosed in the amount of $ ____________ (send amount indicated above.) Name: ___________________________________________ Affiliation: _________________________________________ Address: __________________________________________ __________________________________________________ Telephone: _________________________________________ Fax: ______________________________________________ SEND BY JULY 15, 1994 TO: Housing Reservations - Kruse 95 Prof. Robert Levinson 225 Applied Sciences Building Department of Computer and Information Sciences. University of California at Santa Cruz Santa Cruz, CA 95060 408-459-2087 FAX: 408-459-4829