Re: minor changes to Semantics

On Jun 9, 2013, at 6:55 PM, Ivan Herman wrote:

> 
> 
> Pat Hayes wrote:
>> On Jun 9, 2013, at 4:32 PM, Ivan Herman wrote:
>> 
>>> 
>>> Peter F. Patel-Schneider wrote:
>>>> I did a pass on Semantics to fix a couple of references and check out the
>>>> changes made in response to Ivan's comments.
>>>> 
>>>> I've enclosed a list of what I did.
>>>> 
>>>> peter
>>>> 
>>> [skip]
>>>> - Appendix B: I do not understand this: "plus a random member of each
>>>> nonempty class or type". You mean an extra, random member that does not
>>>> appear in the original graph? It is probably worth spelling out more and
>>>> also why it is necessary (although I just saw Peter's comment[1] who
>>>> seems to say that this clause may not be necessary at all, in which case
>>>> this comment is moot...)
>>>> 
>>>> * Pat made the changes I suggested.  I fixed up some of the wording (in
>>>> particular to remove the "random" phrase).
>>>> 
>>> The text now says, for D-interpretations:
>>> 
>>> "the size of the universe restricted to (N+B).(D+1)"
>>> 
>>> Shouldn't that be (N+B)+(D+1)? I do not understand the full stop there...
>> 
>> Sorry, that is intended to be a multiplication. (N+B) times (D+1)
>> 
>> Any suggestions for a better notation?
> 
> what about × ?
> 
> (it is a unicode character "MULTIPLICATION SIGN")

:-)  Maybe....

Pat

> 
> Ivan
> 
> 
>> 
>> Pat
>> 
>>> For the records, I am fine with all other changes. Thanks!
>>> 
>>> Ivan
>>> 
>>> 
>>> 
>>> -- 
>>> Ivan Herman, W3C
>>> Semantic Web Activity Lead
>>> Home: http://www.w3.org/People/Ivan/
>>> mobile: +31-641044153
>>> http://www.ivan-herman.net/foaf#me
>> 
>> ------------------------------------------------------------
>> 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
>> 
>> 
>> 
>> 
>> 
> 
> -- 
> Ivan Herman, W3C
> Semantic Web Activity Lead
> Home: http://www.w3.org/People/Ivan/
> mobile: +31-641044153
> http://www.ivan-herman.net/foaf#me
> 

------------------------------------------------------------
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

Received on Monday, 10 June 2013 00:27:46 UTC