Table Of ContentLecture Notes in Artificial Intelligence 2120
SubseriesofLectureNotesinComputerScience
EditedbyJ.G.CarbonellandJ.Siekmann
Lecture Notes in Computer Science
EditedbyG.Goos,J.HartmanisandJ.vanLeeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Harry S. Delugach Gerd Stumme (Eds.)
Conceptual Structures:
Broadening the Base
9th International Conference
on Conceptual Structures, ICCS 2001
Stanford, CA, USA, July 30-August 3, 2001
Proceedings
1 3
SeriesEditors
JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA
Jo¨rgSiekmann,UniversityofSaarland,Saarbru¨cken,Germany
VolumeEditors
HarryS.Delugach
UniversityofAlabamainHuntsville
ComputerScienceDepartment,THN-351
Huntsville,AL35899,USA
E-mail:[email protected]
GerdStumme
Universita¨tKarlsruhe(TH)
Institutfu¨rAngewandteInformatikund
FormaleBeschreibungsverfahren(AIFB)
76128Karlsruhe,Germany
E-mail:[email protected]
Cataloging-in-PublicationDataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Conceptualstructures:broadeningthebase;proceedings/9th
InternationalConferenceonConceptualStructures,ICCS2001,Stanford,CA,
USA,July30-August3,2001.HarryS.Delugach;GerdStumme(ed.).-
Berlin;Heidelberg;NewYork;Barcelona;HongKong;London;Milan;
Paris;Singapore;Tokyo:Springer,2001
(Lecturenotesincomputerscience;Vol.2120:Lecturenotesin
artificialintelligence)
ISBN3-540-42344-3
CRSubjectClassification(1998):I.2,G.2.2,F.4.1,F.2.1
ISBN3-540-42344-3Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
Springer-VerlagBerlinHeidelbergNewYork
amemberofBertelsmannSpringerScience+BusinessMediaGmbH
http://www.springer.de
©Springer-VerlagBerlinHeidelberg2001
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyPTPBerlin,StefanSossna
Printedonacid-freepaper SPIN10839891 06/3142 543210
Preface
We are pleased to bring you this collection of papers for the Ninth International
Conference on Conceptual Structures (ICCS), representing continued excellence
in conceptual structures research. We have adopted the title \Broadening the
Base," acknowledging the importance of contributions from scholars in many
research areas. The (cid:12)rst ICCS meetings focused primarily on Sowa’s conceptual
graphs; in recent years, however, the ICCS conference series has intentionally
wideneditsscopetostimulateresearchacrossdomainboundaries.Wehopethat
this stimulation is further enhanced by ICCS 2001 continuing the long tradition
of lively conferences about Conceptual Structures.
We wish to express our appreciation to all the authors of submitted papers,
to the general chair, to the members of the editorial board and the program
committee, and to the additional reviewers for making ICCS 2001 a valuable
contribution to the knowledge processing research (cid:12)eld. We would also like to
acknowledge the leadership of Guy Mineau and Bernhard Ganter in providing a
solidframeworkforanopenande(cid:11)ectivereviewingprocess.Veryspecialthanks
go to the local organizers for making the conference possible and, furthermore,
an enjoyable and inspiring event. We are grateful to the University of Alabama
in Huntsville, and the University of Karlsruhe for their generous support.
May 2001 Harry Delugach
Gerd Stumme
Organization
The International Conference on Conceptual Structures (ICCS) is the annual
conference and principal research forum in the theory and practice of concep-
tual structures. Previous ICCS conferences have been held at the Universit(cid:19)e
Laval (Quebec City, 1993), the University of Maryland (1994), the University
of California (Santa Cruz, 1995), Sydney (1996), the University of Washington
(Seattle, 1997), Montpellier (1998), at Virginia Tech (Blacksburg, 1999), and at
Darmstadt University of Technology (2000).
Program Chair
Harry S. Delugach The University of Alabama in Huntsville, U.S.A.
Gerd Stumme Universita¨t Karlsruhe, Germany
Local Chair
Robert G. Spillers Woodside, CA, U.S.A.
Editorial Board
Galia Angelova (Bulgaria) Deborah McGuinness (U.S.A.)
Michel Chein (France) Guy Mineau (Canada)
Peter Eklund (Australia) Bernard Moulin (Canada)
John Esch (U.S.A.) Marie-Laure Mugnier (France)
Bernhard Ganter (Germany) Heather Pfei(cid:11)er (U.S.A.)
Roger Hartley (U.S.A.) Uta Priss (U.S.A.)
Mary Keeler (U.S.A.) John Sowa (U.S.A.)
Lot(cid:12) Lakhal (France) Bill Tepfenhart (U.S.A.)
Wilfried Lex (Germany) Rudolf Wille (Germany)
Program Committee
Jean-Franc(cid:24)ois Baget (France) Carole Goble (U.K.)
Tru Cao (U.K.) Robert Godin (Canada)
Claudio Carpineto (Italy) Michel Habib (France)
Paul Compton (Australia) Ollivier Haemmerl(cid:19)e (France)
Dan Corbett (Australia) Adil Kabbaj (Morocco)
Judy Dick (Canada) Adalbert Kerber (Germany)
David Genest (France) Sergei Kuznetsov (Germany)
Olivier Gerb(cid:19)e (Canada) Pavel Kocura (U.K.)
VII
Wolfgang Lenski (Germany) Anne-Marie Rassinoux (Switzerland)
Graham Mann (Australia) Daniel Rochowiak (U.S.A.)
Philippe Martin (Australia) Eric Salvat (France)
Joa~o P. Martins (Portugal) Ulrike Sattler (Germany)
Ralf Mo¨ller (Germany) Peter Patel-Schneider (U.S.A.)
Aldo de Moor (Netherlands) Stuart Shapiro (U.S.A.)
Amadeo Napoli (France) Finnegan Southey (Canada)
Lhouari Nourine (France) Thanwadee Thanitsukkarn (Thailand)
Peter (cid:31)hrstr(cid:28)m (Denmark) Petko Valtchev (Canada)
Silke Pollandt (Germany) Michel Wermelinger (Portugal)
Susanne Prediger (Germany) Karl Erich Wol(cid:11) (Germany)
Richard Raban (Australia)
Further Reviewers
Alex Borgida (U.S.A.)
Siegfried Handschuh (Germany)
Ralf Molitor (Switzerland)
Table of Contents
Language and Knowledge Structures
A Peircean Ontology of Language :::::::::::::::::::::::::::::::::::: 1
Janos Sarbo, Jo(cid:19)zsef Farkas
Word Graphs: The Third Set :::::::::::::::::::::::::::::::::::::::: 15
C. Hoede, L. Zhang
Aspecto-Temporal Data and Lexical Representations in French within
Simple Conceptual Graphs on the Basis of Semantico-Cognitive Schemes:: 29
Tassadit Amghar, Thierry Charnois, Delphine Battistelli
Learning to Generate CGs from Domain Speci(cid:12)c Sentences:::::::::::::: 44
Lei Zhang, Yong Yu
Solving-Oriented and Domain-Oriented Knowledge Structures:
Their Application to Debugging Problem Solving Activity::::::::::::::: 58
Slim Masmoudi
Logical and Mathematical Foundations
of Conceptual Structures
Concept Graphs and Predicate Logic ::::::::::::::::::::::::::::::::: 72
Frithjof Dau
Generalized Quanti(cid:12)ers and Conceptual Graphs ::::::::::::::::::::::: 87
Tru H. Cao
Simple Semiconcept Graphs: A Boolean Logic Approach :::::::::::::::: 101
Julia Klinger
Boolean Judgment Logic:::::::::::::::::::::::::::::::::::::::::::: 115
Rudolf Wille
Pattern Structures and Their Projections ::::::::::::::::::::::::::::: 129
Bernhard Ganter, Sergei O. Kuznetsov
Formal Concept Analysis Methods for Dynamic Conceptual Graphs :::::: 143
Bernhard Ganter, Sebastian Rudolph
Many-Valued Context Analysis Using Descriptions ::::::::::::::::::::: 157
Ralf Gugisch
Mathematical Support for Empirical Theory Building :::::::::::::::::: 169
Selma Strahringer, Rudolf Wille, Uta Wille
X Table of Contents
Conceptual Structures for Data and Knowledge Bases
Searching for Objects and Properties with Logical Concept Analysis:::::: 187
S(cid:19)ebastien Ferr(cid:19)e, Olivier Ridoux
Reverse Pivoting in Conceptual Information Systems ::::::::::::::::::: 202
Jo Hereth, Gerd Stumme
Re(cid:12)nement of Conceptual Graphs:::::::::::::::::::::::::::::::::::: 216
Juliette Dibie-Barth(cid:19)elemy, Ollivier Haemmerl(cid:19)e, St(cid:19)ephane Loiseau
Large-Scale Cooperatively-Built KBs ::::::::::::::::::::::::::::::::: 231
Philippe Martin, Peter Eklund
Conceptual Structures and Meta-data
Conceptual Graphs and Metamodeling:::::::::::::::::::::::::::::::: 245
Olivier Gerb(cid:19)e, Guy W. Mineau, Rudolf K. Keller
Making Virtual Communities Work: Matching Their Functionalities :::::: 260
Aldo de Moor, Willem-Jan van den Heuvel
Extension of RDFS Based on the CGs Formalisms ::::::::::::::::::::: 275
Alexandre Delteil, Catherine Faron-Zucker, Rose Dieng
Algorithms and Systems
Building Concept (Galois) Lattices from Parts: Generalizing the
Incremental Methods ::::::::::::::::::::::::::::::::::::::::::::::: 290
Petko Valtchev, Rokia Missaoui
A Term-Based Approach to Project Scheduling :::::::::::::::::::::::: 304
Pok-Son Kim, Manfred Schmidt-Schau(cid:25)
Browsing Semi-structured Web Texts Using Formal Concept Analysis::::: 319
Richard Cole, Peter Eklund
Ossa - A Conceptual Modelling System for Virtual Realities::::::::::::: 333
Finnegan Southey, James G. Linders
Uses, Improvements, and Extensions of Prolog+CG: Case Studies :::::::: 346
Adil Kabbaj, Bernard Moulin, Jeremi Gancet, David Nadeau,
Olivier Rouleau
An Application of the Process Mechanism to a Room Allocation Problem
Using the pCG Language ::::::::::::::::::::::::::::::::::::::::::: 360
David Benn, Dan Corbett
Author Index ::::::::::::::::::::::::::::::::::::::::::::::::: 377
