[CL] CGIF / CG Display Form and Higher-Order Style

[sowa at bestweb.net]

Michael,
>  == Example 1 ==
> 
> "Eagles
are a species, and Harry is an eagle."
> 
> CLIF:
> 
>      (and (Species Eagle) (Eagle Harry) )
> 
> CGIF [FIXME!]:  
You can write the CGIF in two  forms.  The
first uses relations as in CLIF, but without using the symbol
'and':
   (Species Eagle) (Eagle Harry)
The second uses
concept nodes, as you wrote.  The semantics of this form is defined by its
mapping to the relational form.

>      [Species: Eagle]
[Eagle: Harry]
> 
> CGDP [FIXME!]:  The following is
OK.

>      +----------------+  +--------------+
>   
  | Species: Eagle |  | Eagle: Harry |
>      +----------------+ 
+--------------+
> 
> Question: Can this be written/drawn
even more concisely, given that the
> label "Eagle"
appears in both nodes (but as different kinds of labels)? 
CGIF does
not have any simpler way of writing that.
> 
> == Example
2 ==
> 
> "There exist members of classes that are
species."
> 
> CLIF:
> 
>     
(exists ((s Species) m) (s m))
>          (and (Species s) (s
m)
>               (isMemberOfSpecies m s) ))
> 
>
CGIF [FIXME!]: 
A direct mapping of CLIF to CGIF would produce:

[Species *s] [*m] (isMemberOfSpecies ?m ?s)
But I'm not sure
how you define 'isMemberOfSpecies'.  One possibility would be to write the
following CLIF:
(exists ((s Species) m) (s m))
This CLIF would
be equivalent to the following CGIF:
>      [Species: *s]  [#?s:
*m]
> 
> CGDP [FIXME!]:  Just replace the braces with
boxes.
John


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://philebus.tamu.edu/pipermail/cl/attachments/20110723/6f60cd75/attachment.html>