Titlebook: Conceptual Structures: Theory, Tools and Applications; 6th International Co Marie-Laure Mugnier,Michel Chein Conference proceedings 1998 Sp

municipality

Powerset trilattices,d. In particular, the finite .-trilattices are (up to isomorphism) just the finite powerset trilattices. They have 3. elements. Further topics are the ., the . as the triadic complementation and the ., which take over the role of the atoms in the theory of Boolean lattices.

CROW

Two FOL semantics for simple and nested conceptual graphs,and completeness of the projection with respect to this semantics are true without any restriction. I extend the definitions and results on both semantics to Conceptual Graphs containing co-reference links and to Nested Conceptual Graphs.

消耗

cancellous-bone

0302-9743 l graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications.978-3-540-64791-1978-3-540-68673-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

起來(lái)了

Conceptual graph standard and extensions,ition of researchers who have been actively extending conceptual graphs with a variety of experimental features that often go far beyond the core and are sometimes incompatible with it. This paper discusses the recently developed CG standard and its approach to standardizing the CG core while allowing innovative extensions.

jabber

Using viewpoints and CG for the representation and management of a corporate memory in concurrent eproject memory. Such design process is a cycle of individual design and collaborative evaluation. In order to facilitate knowledge extraction from this memory and to ensure the evolution of knowledge, we define a viewpoints management. This management is based in our study of viewpoints in Conceptual Graphs.

終端

,WebKB-GE — A visual editor for canonical conceptual graphs,dition, co-operative knowledge formulation is supported by network-aware work-sharing features. The layout language and its implementation are described as well as the design and implementation features.

聰明

MULTIKAT, a tool for comparing knowledge of multiple experts,plements an algorithm of comparison and integration of several supports, and an algorithm of comparison and integration of multiple conceptual graphs corresponding to different viewpoints, the integration being guided by different integration strategies. This paper details this last algorithm.

CHAR

Palter