Lecture Notes in Artificial Intelligence

Transcription

1 Lecture Notes in Artificial Intelligence 1453 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen

2 Marie-Laure Mugnier Michel Chein (Eds.) Conceptual Structures" Theory, Tools and Applications 6th International Conference on Conceptual Structures, ICCS'98 Montpellier, France, August 10-12, 1998 Proceedings Springer

3 Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J/~rg Siekmann, University of Saarland, Saarbriiclen, Germany Volume Editors Marie-Laure Mugnier Michel Chein LIRMM 161 rue Ada, F Montpellier Cede~ 5, France {mugnier, Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Conceptual structures : theory, tools and applications ; proceedings / 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-14, Marie-Lanre Muguier ; Michel Chein (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 1998 (Lecture notes in computer science ; Vol : Lecture notes in artificial intelligence) ISBN CR Subject Classification (1991): 1.2, G.2.2, E4.1, E2 ISBN Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. 9 Springer-Verlag Berlin Heidelberg 1998 Printed in Germany Typesetting: Camera ready by author SPIN / Printed on acid-free paper

4 In memory of our colleague and friend, Jean Fargues

5 Preface Since 1993 the International Conference on Conceptual Structures (ICCS) has been the primary forum for reporting progress in conceptual structures research with main emphasis on conceptual graphs. Conceptual graphs are a know]ed~e representation model introduced by John F. Sowa in 1984, stemming from ~emantic networks and the existential graphs of C.S. Peirce. The formal aspects have two mathematical bases, logic and graph theory. Conceptual graphs are used in several domains, such as natural language processing, knowledge based systems, knowledge engineering and database design, among others. Research teams around the world have developed a sizeable software base and have built applications upon it. These last years, ICCS conferences have expanded to other knowledge representation formalisms having relationships with conceptual graphs. Our desire for ICCS'98 was to develop this trend. The call for papers, the composition of the editorial board and of the program committee, and the choice of the invited speakers were guided by the desire to broaden the range of the conference. We firmly believe that efforts must be strengthened to bring the conceptual graphs community and the knowledge representation community closer. These proceedings gather 30 papers (20 long papers and 10 research notes), carefully selected from 66 proposals presented at the sixth International Conference on Conceptual Structures, held in the city of Montpellier, France. These papers are broadly classified into the following categories: knowledge representation and knowledge engineering, tools, conceptual graphs and other formalisms, relationships with logics, algorithms and complexity, epistemology and ontologies, natural language processing, applications. It is a pleasure to thank the invited speakers, Franz Baader, Daniel Kayser, and John F. Sowa for accepting our invitation to give talks and to contribute papers to the proceedings. We thank the authors, the editorial board, the program committee, and the auxiliary reviewers, for making this book, result of their cooperative work, a valuable contribution in the knowledge representation research field. Very special thanks are due to Eric Salvat, who spared no effort to make this conference a success (among his numerous activities for ICCS'98, he realized our Web site). Finally, on behalf of the organizing committee, we thank the institutions that contributed to this conference: AFIA (French Association of AI), CNRS (National Center of Scientific Research), INRIA (National Institute of Automatics and Informatics), LIRMM (Laboratory of Informatics, Robotics, and Microelectronics of Montpellier), Universit~ Montpellier 2, District de Montpellier, R6gion Languedoc-Roussillon. Montpellier, August 1998 Michel CHEIN and Marie-Laure MUGNIER

6 Organizing Committee Honorary Chair John F. Sowa General Chair Michel Chein Program Chair Marie-Laure Mugnier Publicity Chair Eric Salvat Local Arrangements Rose Dieng David Genest Pascal Jappy Corine Zicler SUNY at Binghamton, USA LIRMM, Universitd Montpellier 2, France LIRMM, Universitd Montpellier 2, France LIRMM, Universitd Montpellier 2, France INRIA Sophia Antipolis, France LIRMM, Universitd Montpellier 2, France LIRMM, Universitd Montpellier 2, France LIRMM, Montpellier 2, France Editorial Board Brian Gaines Fritz Lehmann Dickson Lukose Guy Mineau Leroy Searle Stefano Spaccapietra Rudolf Wille Program Committee Harmen van den Berg Jean Bdzivin Bernard Botella Marc Champesme Peter Creasy Walling R. Cyre Harry S. Delugach Judy Dick Rose Dieng Peter Eklund Gerard Ellis Bruno Emond John Esch Norman Foo The University of Calgary, Canada Cycorp, USA The University of New England, Australia Universitd Laval, Canada University of Washington, USA Swiss Federal Institute of Technology, Switzerland Technische Universit/it Darmstadt, Germany Telematics Research Centre, The Netherlands Univ. de Nantes, France Dassault Electronique, St-Cloud, France Univ. Paris-Nord, France Univ. of Queensland, Australia Virginia Polytechnic Inst. & Sate Univ., USA Univ. of Alabama in Hunstville, USA ActE, Toronto, Canada INRIA Sophia Antipolis, France Griffith Univ., Australia Peirce Holdings International, Australia Univ. du Qudbec ~ Hull, Canada Lockheed Martin, USA Univ. of New South Wales, Australia

7 Christophe Fouquerd Brian Garner Robert Godin Michel Habib Ollivier Haemmerld Roger Hartley Mary Keeler Robert Kremer Michel Lecl6re Maurizio Lenzerini Robert Levinson Bernard Levrat Graham A. Mann Rokia Missaoui Jens-Uwe Moeller Bernard Moulin Maurice Pagnucco Mike P. Papazoglou Heike Petermann Heather Pfeiffer Daniel Rochowiak Genevieve Simonet Rudi Studer Gerd Stumme William Tepfenhart Eric Tsui Michel Wermelinger Mark Willems Vilas Wuwongse Pierre Zweigenbaum Univ. Paris-Nord, France Deakin Univ., Australia Univ. du Qudbec ~ Montrdal, Canada Univ. MontpeUier 2, France INAPG, Paris, France New Mexico State Univ., Las Cruces, USA Univ. of Washington, USA Univ. of Calgary, Canada Univ. de Nantes, France Univ. degli Studi Di Roma "La Sapienza", Italy Univ. of California at Santa Cruz, USA Univ. d'angers, France Univ. of New South Wales, Australia Univ. du Qudbec ~ Montrdal, Canada Univ. of Hamburg, Germany Univ. de Laval, Canada Univ. of New South Wales, Australia Univ. of Tilburg, The Netherlands Univ. Hamburg, Germany New Mexico State Univ., Las Cruces, USA Univ. of Alabama in Huntsville, USA Univ. Montpellier 2, France AIFB, Univ. Karlsruhe, Germany Technische Universit~it Darmstadt, Germany AT&T Research, USA CSC Financial Services Group & Univ. of Sydney Univ. Nova de Lisboa, Portugal Cycorp, USA Asian Institute of Technology, Thailand DIAM, SIM/AP-HP & Univ. Paris 6, France External Referees Tassadit Amghar Pierre Brezellec Steve R. Callaghan Tru H. Cao Alexander Friedmann David Genest Gwen Kerdiles Thdr~se Libourel Stdphane Loisean Lhouari Nourine Abdellatif Obaid Eric Salvat Henry Soldano Guy Tremblay

8 Table of contents Invited Talks Conceptual Graph Standard and Extensions... 3 John F. Sowa Matching in Description Logics: Preliminary Results Franz Baader, Alex Borgida, Deborah L. McGuinness Ontologically, Yours Daniel Kayser Knowledge Representation and Knowledge Engineering Executing Conceptual Graphs Walling R. Cyre From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs Guy W. Mineau A Semantic Validation of Conceptual Graphs Juliette Dibie, Ollivier Haemmerld, St~phane Loiseau Using Viewpoints and CG for the Representation and Management of a Corporate Memory in Concurrent Engineering Myriam Ribi~re Tools WebKB-GE - A Visual Editor for Canonical Conceptual Graphs (Research Note) Simon Pollitt, Andrew Burrow, Peter W. Eklund Mapping of CGIF to Operational Interfaces (Research Note) Arno Puder TOSCANA-Systems Based on Thesauri Bernd Groh, Selma Strahringer, Rudolf Wille MULTIKAT, a Tool for Comparing Knowledge of Multiple Experts Rose Dieng, Stefan Hug A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note) David Genest, Eric Salvat Conceptual Graphs and Other Models Towards Correspondences between Conceptual Graphs and Description Logics... Pascal Coupey, Catherine Faron 165

9 Piece Resolution: Towards Larger Perspectives Stgphane Coulondre, Eric Salvat Triadic Concept Graphs Rudolf Wille Powerset Trilattices Klaus Biedermann Relationships with Logics Simple Concept Graphs: A Logic Approach Susanne Prediger Two FOL Semantics for Simple and Nested Conceptual Graphs Genevieve Simonet Peircean Graphs for the Modal Logic $ Torben Braiiner Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure Tru H. Cao, Peter N. Crcasy Algorithms and Complexity Knowledge Querying in the Conceptual Graph Model: The RAP Module (Research Note) Olivier Guinaldo, Ollivier Haemmerld Stepwise Construction of the Dedekind-MacNeille Completion (Research Note) Bernhard Ganter, Sergei O. Kuznetsov PAC Learning Conceptual Graphs Pascal Jappy, Richard Nock Epistemology and Ontologies Procedural Renunciation and the Semi-automatic Trap Graham A. Mann Ontologies and Conceptual Structures William M. Tepfenhart Natural Language Processing Manual Acquisition of Uncountable Types in Closed Worlds (Research Note) Galia Angelova A Logical Framework for Modeling a Discourse from the Point of View of the Agents Involved in It (Research Note) Bernard Moulin Computational Processing of Verbal Polysemy with Conceptual Structures (Research Note) Karim Chibout, Anne Vilnat

10 XIII Word Graphs: The Second Set C. Hoede, X. Liu Tuning Up Conceptual Graph Representation for Multilingual Natural Language Processing in Medicine (Research Note) Anne-Marie Rassinoux, Robert H. Baud, Christian Lovis, Judith C. Wagner, Jean-Raoul Scherrer Applications Conceptual Graphs for Representing Business Processes in Corporate Memories Olivier Gerbg, Rudolf K. Keller, Guy W. Mine-au Handling Specification Knowledge Evolution Using Context Lattices 416 Aldo de Moor, Guy W. Mineau Using CG Formal Contexts to Support Business System Interoperations (Research Note) Hung Wing, Robert M. Colomb, Guy W. Mineau Author Index 439