Dan Corbett – författare

This text is an exploration of automated reasoning and resolution in the expanding field of conceptual structures. Designed not only for computing scientists researching conceptual graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of conceptual graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book should prove useful as a tutorial for the reader new to conceptual graphs, or as a reference book for a senior researcher in artificial intelligence, knowledge representation or automated reasoning.

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning.

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning.

This volume contains the proceedings ofAI 2001, the 14thAustralian Joint Conference on Arti?cial Intelligence. The aim of this conference series is to support the Australian arti?cialintelligencecommunitywithaforumfordiscussionandpresentation.Asbefore, this conference not only brought together a great deal ofAustralianAI research, but also attracted widespread international interest. Theconferencethisyearsawanimpressivearrayofabout110submittedpapersfromno fewerthan16countries.Full-lengthversionsofallsubmittedpaperswererefereedbythe international program committee. As a result, these proceedings contain 55 papers not just fromAustralia, but also Canada, France, Germany, The Netherlands, Japan, Korea, New Zealand, and the UK and USA. The conference also comprised a tutorial program and several workshops, and featured ?ve invited speakers on theoretical, philosophical, and applied topics: Didier Dubois of the Universite ' Paul Sabatier, James Hendler of the University of Maryland, Liz Son- berg of the University of Melbourne, Peter Struss of OCC'M Software and TU Munich, andAlex Zelinsky of theAustralian National University.We extend our thanks to the members of the program committee who processed a large review workload under tight time constraints. We especially thank our host, Professor Robin King, Pro Vice Chancellor of the Division of Information Technology, Engin- ring, and the Environment at UniSA, for providing infrastructure and ?nancial support. We are also grateful to the US Air Force Of?ce of Scienti?c Research, Asian Of?ce of Aerospace Research and Development, and the Commonwealth Defence Science and Technology Organisation for their ?nancial support. Finally we would like to thank all those who contributed to the conference organization, without their help the conference could not have taken place.

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