On Feb 19, 2009, at 2:07 PM, Anders W.Tell wrote:
> John F. Sowa wrote:
>> During the development of the Common Logic standard,
>> Lenat had been asking for the kinds of extensions to CL
>> that were added to IKRIS. In conceptual graphs, those
>> features are called 'contexts', which have been an
>> integral feature of CGs since the 1984 book. Finally,
>> in 2006, several participants from Cyc worked with us
>> to develop the IKRIS extensions to CL. Those features
>> support both CycL and the CG contexts.
>>
>
> The IKRIS extensions such as IST() , are they on their way to be
> included in CL? (01)
There are no plans at this time to include them in the ISO standard. (02)
-chris (03)
_________________________________________________________________
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 (04)
|