[ontolog-forum] Sowa defeats McCullough !

["Richard H. McCullough" <rhmccullough@xxxxxxxxx>]

Congratulations, John.

You used two neat tricks to get rid of that pesky mKR language.

1) You completely mis-represented my approach of filling in
the missing context of propositions.

2) you managed to remove if-then-else & definitions from
the disciplines of logic and semantics.
 
Dick McCullough
Context Knowledge Systems
Name your propositions !

_________________________________________________________________
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    (01)