ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Foundation ontology, CYC, and Mapping

To: Pat Hayes <phayes@xxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Duane Nickull <dnickull@xxxxxxxxx>
Date: Fri, 5 Feb 2010 08:47:49 -0800
Message-id: <C7918BB5.AFDE%dnickull@xxxxxxxxx>
Pat:

Thank you.  This is very clear and easy to understand.  

Duane

On 2/4/10 10:08 PM, "Pat Hayes" <phayes@xxxxxxx> wrote:

Let me try, Duane.

On Feb 4, 2010, at 12:37 AM, Duane Nickull wrote:

Doug:
 
 Can you please clarify what you mean by “Sets are timeless; they cannot change their members”. Do you mean they cannot add new members?  Can they not change enumeration lists of existing members?  Can existing members values be retracted?

A set is defined as a collection of things, in an abstract sense of 'collection'. It is defined by its members or elements: if A has the same members as B, and A and B are sets then A *is* B. There isn't anything to a set other than the members it has; it has no 'identity' beyond being the set of things that it is a set of.  A set is not a separate 'thing' with a state that can be updated or changed. It is not a data structure. So, to answer your questions: no, a set cannot add new members. First, the idea of a set doing anything (like 'adding" ) doesn't make sense; but even if it did, adding something to a set makes a new set, one that is different from the first set. Sets cannot change their lists (they don't have lists, anyway) and members cannot be retracted: if you 'take something out of' a set, then you have a different set.

Make sense?

Pat H.


 D
 
 
 On 2/3/10 5:47 PM, "doug  foxvog" <doug@xxxxxxxxxx> wrote:
 
 
The definition should start out that a set has members.  Restrictions
 on the permissible types of members can identify different types of set,
 or in given contexts may limit what is considered to be a generic set.
 Sets are timeless; they cannot change members.  If an element which is not
 in a set is added to a set, the result is a different set.
 

 ---
 Adobe LiveCycle Enterprise Architecture - http://www.adobe.com/products/livecycle/
 My TV Show - http://tv.adobe.com/show/duanes-world/
 My Blog – http://technoracle.blogspot.com/
 My Band – http://22ndcenturyofficial.com/
 Twitter – http://twitter.com/duanechaos
  
  
_________________________________________________________________
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

 
------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes







---
Adobe LiveCycle Enterprise Architecture - http://www.adobe.com/products/livecycle/
My TV Show - http://tv.adobe.com/show/duanes-world/
My Blog – http://technoracle.blogspot.com/
My Band – http://22ndcenturyofficial.com/
Twitter – http://twitter.com/duanechaos

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

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