On Jun 15, 2014, at 7:22 AM, Mark H Linehan <mhl@xxxxxxxxxxx> wrote: (01)
> 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.
>
> What I meant is that the "that" operator (in whatever semantic system /
> language) (02)
As we invented the "that" operator and its semantics (see
http://www.ihmc.us/users/phayes/IKL/SPEC/SPEC.html) from whole cloth in order
to create IKL, and AFAIK it has not been used in any other formalism in the
entire history of formal logic, I have no idea what you think it might mean in
some other semantic system/language. (03)
You apparently believe that this operator has a meaning that transcends IKL and
can be extended to other notations. Can you succinctly state what you believe
this meaning to be? (04)
Pat Hayes (05)
> is necessary for adequately capturing important aspects of real
> business rules and vocabularies.
>
> Mark
>
> -----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
>
> 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.
>
> I'm happy to hear that.
>
> 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?
>
> John
>
>
>
>
> _________________________________________________________________
> 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
>
>
>
> _________________________________________________________________
> 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
>
> (06)
------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile (preferred)
phayes@xxxxxxx http://www.ihmc.us/users/phayes (07)
_________________________________________________________________
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 (08)
|