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) 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...137 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...137 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...