[Top] [All Lists]

Re: [ontolog-forum] Ontology of Rough Sets

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Tue, 18 Jan 2011 21:57:57 -0500
Message-id: <4D365335.7070904@xxxxxxxxxxx>
On 1/18/2011 9:37 PM, Rich Cooper wrote:
> As for RECOGNIZING instances, every instance has a known class
> derivation line from a type statement, so it isnít necessary to
> calculate that Ė the compiler knows it at symbol binding time.    (01)

That's true.  But the type definition comes first.  The instances
are created from the type definition, but they don't define the type.    (02)

John    (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)

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