To:  patrick@xxxxxxxxxxx, "[ontologforum] " <ontologforum@xxxxxxxxxxxxxxxx> 

From:  "Smith, Barry" <phismith@xxxxxxxxxxx> 
Date:  Sun, 30 Apr 2006 18:15:30 +0200 
Messageid:  <7.0.1.0.2.20060430174531.05867a20@xxxxxxxxxxx> 
Patrick, I am trying, in my usual fumbling fashion, to understand your 132505 CD ( http://www.isotopicmaps.org/TMRM/TMRMlatest.html) document. We have the following (all from pp. 12): Subjects are represented by subject proxies (proxies ). This raises, e.g., the following questions: If each label from the set L corresponds to exactly one proxy and viceversa, and if the set V contains L and all the numbers, then how is it possible that the set of proxies is of cardinality 2P ? Given that P itself is L x V, wouldn't this mean something like: card(L) = card(2LxAleph0 )? (Perhaps it is okay in topic maps to identify these two proxies.) If subjects are 'represented by subject proxies (proxies )', then what about all those proxies, like {<sleeps furiously, colorless green>}, for which there are no subjects? Given what you say, we have for every positive integer n, proxies like: (<prime, n>}, <notprime, n>}, and {<prime, n>, <notprime, n>} as well as: {<blue, n>}, {<creamy, n>}, {<notidenticalto17, n>}, etc. We are told that each property 'is a statement about the proxy's subject'. Who makes all these statements? And what is the 'subject' of {<notidenticalto17, 17>}? BS PS Is this an ISO Standard yet? 
<Prev in Thread]  Current Thread  [Next in Thread> 


Previous by Date:  Re: [ontologforum] Avoiding Hobson's Choice In Choosing An ntology, Internet Business Logic 

Next by Date:  Re: [ontologforum] puzzles, Chris Menzel 
Previous by Thread:  [ontologforum] Letter of support for Protege renewal grant, Kurt Conrad 
Next by Thread:  Re: [ontologforum] puzzles, Chris Menzel 
Indexes:  [Date] [Thread] [Top] [All Lists] 