I WISH that the SBVR designers had chosen to define it in terms of a system
with a sound semantic basis, such as CL/IKL. But they that did not do that,
and show no signs of upgrading their approach. Ed and I and the Date-Time
Vocabulary (DTV) team chose to define key aspects of DTV in CL + IKL, and in
UML + OCL, partly to ensure a firm semantic foundation for our work. (01)
What I meant is that the "that" operator (in whatever semantic system /
language) is necessary for adequately capturing important aspects of real
business rules and vocabularies. (02)
Mark (03)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F Sowa
Sent: Friday, June 13, 2014 10:49 PM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] Requesting Opinions on the Benefits of
Predicates as Nodes (04)
On 6/13/2014 9:18 PM, Mark H Linehan wrote:
> Net: the IKL "that" operator is key to addressing a requirement that
> arises in modeling real business vocabularies and rules. (05)
I'm happy to hear that. (06)
But I'm not sure what you mean by "is key". Do you mean that the SBVR
designers/implementers have been using, plan to use, or might consider using
IKL as the logical foundation for SBVR? (07)
John (08)
_________________________________________________________________
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 (09)
_________________________________________________________________
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 (010)
|