Monday, January 28th, 1:30 pm, in SH 124

Discussion led by Roger Hartley and Heather Pfeiffer

Abstract:

A well-founded data model for Conceptual Structures can help in
understanding issues of efficient implementations, definitional
semantics and even syntax of proposed languages.  This
paper presents several possible data models of increasing complexity
and applicability.  One of the languages used to describe a possible
set of data models is Haskell, a non-strict, strongly-typed functional
language.  The paper then goes on to discuss how these models can
lead to a efficient implementation in a schema-based XML version of
an interchange format for Conceptual Graphs in compairson with CGIF.
We also give a schema-based XML data model for Conceptual Graphs that
was written directly without going through Haskell.  These models
are compared and contrasted.