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