Uta Priss – författare

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

This volume contains the proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), which is an annual event that, for the ?rst time, was hosted in the UK. Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications in - search,softwareengineering,manufacturing and business.The conference brings together researchersin computer science, information technology,arti?cial int- ligence, philosophy and a variety of applied disciplines to explore novel ways that information technologies can be leveraged to assist human reasoning and interaction for tangible business or social bene?ts. Conceptual structures can be used to augment human intelligence by facilitating knowledge integration, de- sion making, the creation of intelligent software systems and the exploration of implicit structures. The theme for this year’s conference was “Conceptual Structures: Kno- edge Architectures for Smart Applications.” Knowledge architectures give rise to smart applications that allow enterprises to share meaning across their int- connected computing resources and to realize transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart appli- tions integrate the creativity of individuals and organizations with the prod- tivity of computers for a meaningful digital future. A focus of ICCS 2007 was on papers that apply conceptual structures in business and technological settings. Other submitted papers covered researchin conceptual structures, which is s- ported by mathematical and computational theory, including formal concept analysis, algorithm design and graph theory, and a variety of software tools.