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) PeterOhrstrom(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 Gerd Stumme Data andKnowledgeStructures ALinearlyComplexModelforKnowledgeRepresentation...20 Janos Sarbo and J' ozsef Farkas RelationGraphs:AStructureforRepresentingRelations inContextualLogicofRelations...34 Silke Pollandt InformationTransferacrossSimpleConceptGraphs...48 Grit Malik RelationalScalingandDatabases...62 Joachim Hereth InformationRetrieval KnowledgeRepresentationinCGLF,CGIF,KIF,Frame-CGand Formalized-English...77 Philippe Martin ConceptualGraphMatchingforSemanticSearch...92 JiweiZhong,HaipingZhu,JianmingLi,andYongYu TextSchemaMiningUsingGraphsandFormalConceptAnalysis...107 Felix H. Gatzemeier and Oliver Meyer TextMiningatDetailLevelUsingConceptualGraphs...122 Manuel Montes-y-Gomez,A ' lexanderGelbukh,andAurelioL'opez-L' opez Natural Language ProcessingNegationinNLInterfacestoKnowledgeBases...1 37 SvetlaBoytcheva,AlbenaStrupchanska,andGaliaAngelova X Table of Contents AutomaticGenerationandEvaluation ofSentenceGraphsoutofWordGraphs...151 Dennis Reidsma CGRepresentationsofNon-literalExpressions...166 Henrik Schar .. fe Ontologyand Semantics APeirceanOntologyofSemantics ...177 J' ozsef Farkas and Janos Sarbo BuildingConceptLatticesbyLearningConcepts fromRDFGraphsAnnotatingWebDocuments...191 AlexandreDelteil,CatherineFaron,andRoseDieng TheCGFormalismasanOntolingua forWeb-OrientedRepresentationLanguages...205 Olivier Gerb'eandGuyW. Mineau AViewpointModelforCooperativeBuildingofanOntology...220 Myriam Ribi' ere and Rose Dieng-Kuntz TowardsaPragmaticWeb...235 AldodeMoor,MaryKeeler,andGaryRichmond AFirstSteptowardthe Knowledge Web: InteroperabilityIssuesamongConceptualGraph BasedSoftwareAgentsPartI...250 Guy W. Mineau Interfaces andApplications CGWorld-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 c sBaget(France) AldodeMoor(TheNetherlands) DavidBenn(Australia) EngelbertMephuNguifo(France) TruCao(Vietnam) PeterOhrstrom(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 Gerd Stumme Data andKnowledgeStructures ALinearlyComplexModelforKnowledgeRepresentation...20 Janos Sarbo and J' ozsef Farkas RelationGraphs:AStructureforRepresentingRelations inContextualLogicofRelations...34 Silke Pollandt InformationTransferacrossSimpleConceptGraphs...48 Grit Malik RelationalScalingandDatabases...62 Joachim Hereth InformationRetrieval KnowledgeRepresentationinCGLF,CGIF,KIF,Frame-CGand Formalized-English...77 Philippe Martin ConceptualGraphMatchingforSemanticSearch...92 JiweiZhong,HaipingZhu,JianmingLi,andYongYu TextSchemaMiningUsingGraphsandFormalConceptAnalysis...107 Felix H. Gatzemeier and Oliver Meyer TextMiningatDetailLevelUsingConceptualGraphs...122 Manuel Montes-y-Gomez,A ' lexanderGelbukh,andAurelioL'opez-L' opez Natural Language ProcessingNegationinNLInterfacestoKnowledgeBases...1 37 SvetlaBoytcheva,AlbenaStrupchanska,andGaliaAngelova X Table of Contents AutomaticGenerationandEvaluation ofSentenceGraphsoutofWordGraphs...151 Dennis Reidsma CGRepresentationsofNon-literalExpressions...166 Henrik Schar .. fe Ontologyand Semantics APeirceanOntologyofSemantics ...177 J' ozsef Farkas and Janos Sarbo BuildingConceptLatticesbyLearningConcepts fromRDFGraphsAnnotatingWebDocuments...191 AlexandreDelteil,CatherineFaron,andRoseDieng TheCGFormalismasanOntolingua forWeb-OrientedRepresentationLanguages...205 Olivier Gerb'eandGuyW. Mineau AViewpointModelforCooperativeBuildingofanOntology...220 Myriam Ribi' ere and Rose Dieng-Kuntz TowardsaPragmaticWeb...235 AldodeMoor,MaryKeeler,andGaryRichmond AFirstSteptowardthe Knowledge Web: InteroperabilityIssuesamongConceptualGraph BasedSoftwareAgentsPartI...250 Guy W. Mineau Interfaces andApplications CGWorld-ArchitectureandFeatures...261 Pavlin Dobrev and Kristina Toutanova ExtendingSNePSwDwithPermissiveBeliefRevision...271 C' esar F. Pimentel and Maria R. Cravo OnTeachingConceptualGraphs...

Table of Contents:
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.