Conceptual Structures: Integration and Interfaces

ThisvolumecontainstheproceedingsofICCS2002,theTenthInternational ConferenceonConceptualStructures. Theaimofthisconferenceserieshas- waysbeentosupporttheinternationalconceptualstructurescommunitywith aforumfordiscussionandpresentation. Theconferencehascontinuallybro- eneditsscopeoverthelastseveralyears,sothatresearchinformalconcept analysis,ontologies,descriptionlogics,situationtheory,constraintsanalysis,d- courserepresentationtheory,SNePS,andmanyothertechniqueshaveallbeen presentedanddiscussed. Thisyear,weadoptedtheconferencethemeof IntegrationandInterfaces in ordertoencourageallmembersofthecommunitytoparticipateindiscussions onunifyingthemanyaspectsofconceptualstructures. ThepurposeofICCS 2002wastoserveasaforumforresearchersinthemanyareasofconceptual structurestodiscusstheirworkandto?ndcommongroundacrossdiscipline boundaries. Allofthepaperscontainedinthisvolumewerereviewedintheirfulllength byatleasttworeviewersaswellasamemberoftheEditorialBoard. Weexpress ourgratitudetothemembersoftheProgramCommitteeandtotheadditional reviewers,whoprocessedalargereviewworkloadundertighttimecontraints. We alsoextendourthankstothemembersoftheEditorialBoardwhoshouldered thedi?culttaskofmakingthe?naldecisionsontheacceptedpapers. Weespeciallythankourhost,theCentralLaboratoryforParallelProcessing (CLPP)oftheBulgarianAcademyofSciences(BAS)forinfrastructuresupport. ICCS2002waspartiallysupportedbytheEuropeanCommissionundergrant ICA1-2000-70016(BIS-21CenterofExcellence). July2002 UtaPriss DanCorbett GaliaAngelova Organization TheInternationalConferenceonConceptualStructures(ICCS)istheannual conferenceandtheprincipleresearchforuminthetheoryandpracticeofc- ceptualstructures. PreviousICCSconferenceshavebeenheldattheUniversit e Laval(QuebecCity,1993),theUniversityofMaryland(1994),theUniversity ofCalifornia(SantaCruz,1995),Sydney(1996),theUniversityofWashington (Seattle,1997),Montpellier(1998),atVirginiaTech(Blacksburg,1999),Da- stadtUniversityofTechnology(2000),andStanfordUniversity(2001). General Chair GaliaAngelova BulgarianAcademyofSciences,Bulgaria ProgramChair UtaPriss IndianaUniversity,USA DanCorbett UniversityofSouthAustralia Editorial Board HarryDelugach(USA) BernardMoulin(Canada) PeterEklund(Australia) HeatherPfei?er(USA) JohnEsch(USA) JohnSowa(USA) BernhardGanter(Germany) GerdStumme(Germany) MaryKeeler(USA) BillTepfenhart(USA) Lot?Lakhal(France) RudolfWille(Germany) GuyMineau(Canada) Organization VII ProgramCommittee Jean-Francoi sBaget(France) AldodeMoor(TheNetherlands) DavidBenn(Australia) EngelbertMephuNguifo(France) TruCao(Vietnam) PeterØhrstrøm(Denmark) ClaudioCarpineto(Italy) SilkePollandt(Germany) JudyDick(Canada) RichardRaban(Australia) OllivierHaemmerl e(France) Anne-MarieRassinoux(Switzerland) RogerHartley(USA) EricSalvat(France) DavidGenest(France) JanosSarbo(TheNetherlands) OlivierGerb e(Canada) FinneganSouthey(Canada) PavelKocura(UK) ThanwadeeThanitsukkarn(Thailand) SergeiKuznetsov(Russia) PetkoValtchev(Canada) WolfgangLenski(Germany) KarlErichWol?(Germany) PhilippeMartin(Australia) FurtherReviewers MelanieJ. Martin(USA) Sponsoring Institutions EuropeanCommission undergrantICA1-2000-70016(BIS-21CenterofExcellence) Table of Contents Invited ConceptualStructuresinModernInformationRetrieval. . . . . . . . . . . . . . . . . . . . . 1 Claudio Carpineto FormalConceptAnalysisonItsWayfromMathematics toComputerScience. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

Includes supplementary material: sn.pub/extras

Klappentext

This book constitutes the refereed proceedings of the 10th International Conference on Conceptual Structures, ICCS 2002, held in Borovets, Bulgaria. in July 2002.The 27 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on data and knowledge structures, information retrieval, natural language, ontology and semantics, interfaces and applications, and logical and mathematical foundations.

Inhalt
Invited.- Conceptual Structures in Modern Information Retrieval.- Formal Concept Analysis on Its Way from Mathematics to Computer Science.- Data and Knowledge Structures.- A Linearly Complex Model for Knowledge Representation.- Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations.- Information Transfer across Simple Concept Graphs.- Relational Scaling and Databases.- Information Retrieval.- Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English.- Conceptual Graph Matching for Semantic Search.- Text Schema Mining Using Graphs and Formal Concept Analysis.- Text Mining at Detail Level Using Conceptual Graphs.- Natural Language.- Processing Negation in NL Interfaces to Knowledge Bases.- Automatic Generation and Evaluation of Sentence Graphs out of Word Graphs.- CG Representations of Non-literal Expressions.- Ontology and Semantics.- A Peircean Ontology of Semantics.- Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents.- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages.- A Viewpoint Model for Cooperative Building of an Ontology.- Towards a Pragmatic Web.- A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents Part I.- Interfaces and Applications.- CGWorld - Architecture and Features.- Extending SNePSwD with Permissive Belief Revision.- On Teaching Conceptual Graphs.- Logical and Mathematical Foundations.- The Use of Associative Concepts in the Incremental Building of a Logical Context.- Modal Logic for Evaluating Formulas in Incomplete Contexts.- An Embedding of Existential Graphs into Concept Graphs with Negations.- Interpretation of Automata in Temporal Concept Analysis.- Associative and Formal Concepts.- Semiconcept Graphs with Variables.- Existential Concept Graphs of Power Context Families.