Re: minor changes to Semantics

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

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