On Tuesday October 27 2009, Ian Bailey wrote:
> Hi John,
>
> I don't really want to start a discussion chain on this. (01)
Too late, it seems. (02)
> I think CL is very difficult to use, and it doesn't do anything I
> can't already do with a well thought-out diagram notation. (03)
Diagrams support only human comprehension. Logical formalisms can be
diagrammed, but diagrams don't support inference or any other form of
computation. (04)
> ...
>
> Cheers
> --
> Ian (05)
Randall Schulz (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|