Table Of ContentLecture Notes in Artificial Intelligence 5113
EditedbyR.Goebel,J.Siekmann,andW.Wahlster
Subseries of Lecture Notes in Computer Science
Peter Eklund Ollivier Haemmerlé (Eds.)
Conceptual Structures:
KnowledgeVisualization
and Reasoning
16th International Conference
on Conceptual Structures, ICCS 2008
Toulouse, France, July 7-11, 2008
Proceedings
1 3
SeriesEditors
RandyGoebel,UniversityofAlberta,Edmonton,Canada
JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany
WolfgangWahlster,DFKIandUniversityofSaarland,Saarbrücken,Germany
VolumeEditors
PeterEklund
UniversityofWollongong
SchoolofInformationSystemsandTechnology
NorthfieldsAvenue,Wollongong,NSW2522,Australia
E-mail:[email protected]
OllivierHaemmerlé
InstitutdeRechercheenInformatiquedeToulouse(IRIT)
UniversitédeToulouseII-LeMirail
DépartementdeMathématiques-Informatique
5alléesAntonioMachado,31058ToulouseCEDEX,France
E-mail:[email protected]
LibraryofCongressControlNumber:2008930415
CRSubjectClassification(1998):I.2,G.2.2,F.4.1,F.2.1,H.4
LNCSSublibrary:SL7–ArtificialIntelligence
ISSN 0302-9743
ISBN-10 3-540-70595-3SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-540-70595-6SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
SpringerisapartofSpringerScience+BusinessMedia
springer.com
©Springer-VerlagBerlinHeidelberg2008
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper SPIN:12322800 06/3180 543210
Preface
ThisvolumecontainstheproceedingsofICCS2008,the16thInternationalCon-
ference on Conceptual Structures (ICCS). The focus of the ICCS conference is
the representation and analysis of conceptual knowledge. ICCS brings together
researchers to explore novel ways that Conceptual Structures can be used.
ConceptualStructuresaremotivatedbyC.S.Peirce’sExistentialGraphsand
were popularized by J.F. Sowa in the 1980s. Over 16 years ICCS has increased
its scope to include innovationsfromarangeoftheories andrelatedConceptual
Structure practices,amongthem formalconceptanalysisandontologies.There-
fore, ICCS presents a family of Conceptual Structure approaches that build on
techniquesderivedfromartificialintelligence,knowledgerepresentation,applied
mathematicsandlatticetheory,computationallinguistics,conceptualmodeling,
intelligent systems and knowledge management.
Thisvolume’stitle–Knowledge Visualization and Reasoning–isintendedto
highlight the sharedorigins of Conceptual Structures with other visualforms of
reasoning.J. Howse’s invited survey paper “Diagrammatic Reasoning Systems”
setsthesceneforthistheme,andseveralotherpapersinthevolumeextendand
reinforce these connections.
The regular papers in this LNAI volume are split between theoretical and
appliedcontributions.ICCShastraditionsinpracticalsystemssotheconference
includestheone-dayConceptualStructuresToolInteroperabilityWorkshop(CS-
TIW2008)– publishedas aseparateproceedingsin the CEUR-WS.BothICCS
2008workshopandconferenceprogramhighlightresultsachievedwithavariety
of Conceptual Structures-based software.
The conference also included four invited lectures from distinguished speak-
ers in the field. Three of the four invited speakers submitted accompanying
papers which were peer reviewed and are included in this volume. The invited
lecture by J.F. Sowa is accompanied by a paper “Pursuing the Goal of Lan-
guage Understanding,” which highlights the computational linguistic aspect of
thecommunityandtheinvitedpaper“Web,GraphsandSemantics”byO.Corby
reportsontheimplementationofgraphtheoreticalaspectsofconceptualgraphs,
particularly their application to the Semantic Web.
Morethan70papersweresubmittedtoICCS2008forpeerreview.Allpapers
were assessed by at least three referees one of whom was an Editorial Board
member who managed any necessary revisions. The top-ranked 19 papers were
selected competitively for this volume. A further 20 papers were published as
supplementary proceedings in CEUR-WS.
We wish to thank the OrganizingCommittee individually: Nathalie Hernan-
dez,CathyComparot,PatriceBuche,LydieSoler,SophieEbersold,Jean-Michel
VI Preface
Inglebert,V´eroniqueDebats,R´emiCavallo,andcollectivelythe EditorialBoard
andProgramCommitteememberswhoseinputunderwritesthescientificquality
of these proceedings.
July 2008 Peter Eklund
Ollivier Haemmerl´e
Organization
ICCS Executive
General Chair Ollivier Haemmerl´e (Universit´e Toulouse le Mirail)
ProgramChair Peter Eklund (University of Wollongong)
Local Chair Nathalie Hernandez (Universit´e Toulouse le Mirail)
ICCS Adminstrative
Finance Cathy Comparot (Universit´e Toulouse le Mirail)
Website Patrice Buche (INRA Met@risk – Paris)
Lydie Soler (INRA Met@risk – Paris)
Network and Computers Jean-Michel Inglebert (Universit´e Toulouse le Mirail)
Logistics V´eronique Debats (IRIT – Toulouse)
Design R´emi Cavallo (Paris)
ICCS Editorial Board
Galia Angelova (Bulgaria)
Frithjof Dau (Germany)
Aldo de Moor (Netherlands)
Harry Delugach (USA)
Bernhard Ganter (Germany)
PascalHitzler (Germany)
Mary Keeler (USA)
Sergei Kuznetsov (Russian Federation)
Guy Mineau (Canada)
Bernard Moulin (Canada)
Marie-Laure Mugnier (France)
Heather D. Pfeiffer (USA)
Simon Polovina (UK)
Uta Priss (UK)
Henrik Scha¨rfe (Denmark)
John F. Sowa (USA)
Rudolf Wille (Germany)
Karl-ErichWolff (Germany)
Peter Øhrstrøm (Denmark)
ICCS Program Committee
Radim Belohlavek (USA)
Tru Cao (Vietnam)
VIII Organization
Dan Corbett (USA)
Madalina Croitoru (UK)
Juliette Dibie-Barth´elemy (France)
Pavlin Dobrev (Bulgaria)
David Genest (France)
Udo Hebisch (Germany)
Joachim Hereth Correia (Germany)
Richard Hill (UK)
Adil Kabbaj (Morocco)
Yannis Kalfoglou (UK)
Markus Kroetzsch (Germany)
Leonhard Kwuida (Switzerland)
Sim Kim Lau (Australia)
Robert Levinson (USA)
Michel Liqui`ere (France)
Philippe Martin (France)
Engelbert Mephu Nguifo (France)
Jorgen Fischer Nilsson (Denmark)
Sergei Obiedkov (Russian Federation)
John Old (UK)
Anne-Marie Rassinoux (Switzerland)
Gary Richmond (USA)
Sebastian Rudolph (Germany)
Eric Salvat (France)
Rallou Thomopoulos (France)
William Tepfenhart (USA)
Thomas Tilley (Thailand)
G.Q. Zhang (USA)
Additional Referees
Sebastian Bader Michel Chein Amanda Ryan
Peter Becker Vincent Dubois Bastian Wormuth
Patrice Buche Maxime Morneau
Table of Contents
Diagrammatic Reasoning Systems.................................. 1
John Howse
Pursuing the Goal of Language Understanding....................... 21
Arun Majumdar, John Sowa, and John Stewart
Web, Graphs and Semantics....................................... 43
Olivier Corby
Transdisciplinarity and Generalistic Sciences and Humanities .......... 62
Rudolf Wille
Jacob Lorhard’s Ontology: A 17th Century Hypertext on the Reality
and Temporality of the World of Intelligibles ........................ 74
Peter Øhrstrøm, Henrik Scha¨rfe, and Sara L. Uckelman
Revelator’s Complex Adaptive Reasoning Methodology for Resource
Infrastructure Evolution .......................................... 88
Mary Keeler and Arun Majumdar
Conceptual Spider Diagrams ...................................... 104
Frithjof Dau and Andrew Fish
An Algorithmic Study of Deduction in Simple Conceptual Graphs with
Classical Negation ............................................... 119
Michel Lecl`ere and Marie-Laure Mugnier
Flexible Querying of Fuzzy RDF Annotations Using Fuzzy Conceptual
Graphs ......................................................... 133
Patrice Buche, Juliette Dibie-Barth´elemy, and Ga¨elle Hignette
Query-Answering CG Knowledge Bases ............................. 147
Michel Lecl`ere and Nicolas Moreau
Attribute Exploration Using Implications with Proper Premises........ 161
Heiko Reppe
Sorting Concepts by Priority Using the Theory of Monotone Systems... 175
Ants Torim and Karin Lindroos
Extending Attribute Dependencies for Lattice-Based Querying and
Navigation ...................................................... 189
Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, and
Malika Sma¨ıl-Tabbone
X Table of Contents
PACTOLE: A Methodology and a System for Semi-automatically
Enriching an Ontology from a Collection of Texts .................... 203
Rokia Bendaoud, Yannick Toussaint, and Amedeo Napoli
Fair(er) and (Almost) Serene Committee Meetings with Logical and
Formal Concept Analysis ......................................... 217
Mireille Ducass´e and S´ebastien Ferr´e
Contextual Cognitive Map ........................................ 231
Lionel Chauvin, David Genest, and St´ephane Loiseau
Employing a Domain Specific Ontology to Perform Semantic Search.... 242
Maxime Morneau and Guy W. Mineau
Concept Similarity and Related Categories in SearchSleuth............ 255
Frithjof Dau, Jon Ducrou, and Peter Eklund
Grounded Conceptual Graph Models ............................... 269
Harry S. Delugach and Daniel M. Rochowiak
Scenario Argument Structure vs Individual Claim Defeasibility: What
Is More Important for Validity Assessment? ......................... 282
Boris A. Galitsky and Sergei O. Kuznetsov
Griwes: Generic Model and Preliminary Specifications for a
Graph-Based Knowledge Representation Toolkit ..................... 297
Jean-Franc¸ois Baget, Olivier Corby, Rose Dieng-Kuntz,
Catherine Faron-Zucker, Fabien Gandon, Alain Giboin,
Alain Gutierrez, Michel Lecl`ere, Marie-Laure Mugnier, and
Rallou Thomopoulos
Author Index.................................................. 311
Diagrammatic Reasoning Systems
John Howse
Visual Modelling Group, University of Brighton, Brighton, UK
[email protected]
http://www.cmis.brighton.ac.uk/research/vmg/
Abstract. Euler diagrams have been used for centuries as a means for
conveying logical statements in a simple, intuitive way. They form the
basis of many diagrammatic notations used to represent set-theoretic
relationships in a wide range of contexts including software modelling,
logicalreasoningsystems,statisticaldatarepresentation,databasesearch
queries and file system management. In this paper we consider some
notations based on Euler diagrams, in particular Spider Diagrams and
Constraint Diagrams, with particular emphasis on the development of
reasoning systems.
Keywords:Visualformalisms,diagrammaticreasoning,automatedrea-
soning, software specification, information visualization.
1 Introduction
Eulerdiagrams[7]areasimpleandfamiliarvisuallanguageforexpressinglogical
or set-theoretic statements. They exploit topological properties of enclosure,
exclusion and intersection to represent subset, disjoint sets and set intersection
respectively. For example, the Euler diagram d in figure 1 asserts that C is a
1
subset of A and that B and C are disjoint.
(cid:2) (cid:3)
(cid:2) (cid:3)
(cid:4)
(cid:4)
(cid:5) (cid:6) (cid:5) (cid:7)
Fig.1. Euler and Venndiagrams
An Euler diagram consists of a collection of contours (closed curves, usually
consideredto be simple).A zone (sometimes calledaminimal region) isa setof
points in the plane that can be described by a two-waypartition of the contour
set. For example, in d in figure 1, the set of points in the plane inside A and C
1
P.EklundandO.Haemmerl´e(Eds.):ICCS2008,LNAI5113,pp.1–20,2008.
(cid:2)c Springer-VerlagBerlinHeidelberg2008
