This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998.
The 20 revised full papers and 10 research reports presented were carefully selected from a total of 66 submissions; also included are three invited contributions. The volume is divided in topical sections on knowledge representation and knowledge engineering, tools, conceptual graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications.
Author(s): John F. Sowa (auth.), Marie-Laure Mugnier, Michel Chein (eds.)
Series: Lecture Notes in Computer Science 1453 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 446
Tags: Artificial Intelligence (incl. Robotics)
Conceptual graph standard and extensions....Pages 3-14
Matching in description logics: Preliminary results....Pages 15-34
Ontologically yours....Pages 35-48
Executing conceptual graphs....Pages 51-64
From actors to processes: The representation of dynamic knowledge using conceptual graphs....Pages 65-79
A semantic validation of conceptual graphs....Pages 80-93
Using viewpoints and CG for the representation and management of a corporate memory in concurrent engineering....Pages 94-108
WebKB-GE — A visual editor for canonical conceptual graphs....Pages 111-118
Mapping of CGIF to operational interfaces....Pages 119-126
TOSCANA-systems based on thesauri....Pages 127-138
MULTIKAT, a tool for comparing knowledge of multiple experts....Pages 139-153
A platform allowing typed nested graphs: How CoGITo became CoGITaNT....Pages 154-161
Towards correspondences between Conceptual Graphs and Description Logics....Pages 165-178
Piece resolution: Towards larger perspectives....Pages 179-193
Triadic concept graphs....Pages 194-208
Powerset trilattices....Pages 209-221
Simple concept graphs: A logic approach....Pages 225-239
Two FOL semantics for simple and nested conceptual graphs....Pages 240-254
Peircean graphs for the modal logic S5....Pages 255-269
Fuzzy order-sorted logic programming in conceptual graphs with a sound and complete proof procedure....Pages 270-284
Knowledge querying in the conceptual graph model: The RAP module....Pages 287-294
Stepwise construction of the Dedekind-MacNeille completion....Pages 295-302
PAC learning conceptual graphs....Pages 303-315
Procedural renunciation and the semi-automatic trap....Pages 319-333
Ontologies and conceptual structures....Pages 334-348
Manual acquisition of uncountable types in closed worlds....Pages 351-358
A logical framework for modeling a discourse from the point of view of the agents involved in It....Pages 359-366
Computational processing of verbal polysemy with conceptual structures....Pages 367-374
Word graphs: The second set....Pages 375-389
Tuning up conceptual graph representation for multilingual natural language processing in medicine....Pages 390-397
Conceptual graphs for representing business processes in corporate memories....Pages 401-415
Handling specification knowledge evolution using context lattices....Pages 416-430
Using CG formal contexts to support business system interoperation....Pages 431-438
