ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Requesting Opinions on the Benefits of Predicates as

To: Mark H Linehan <mhl@xxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 15 Jun 2014 22:21:22 -0500
Message-id: <0F45428F-78C4-49D2-8322-1EBAE0E7A3B1@xxxxxxx>

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)

<Prev in Thread] Current Thread [Next in Thread>