Re: minor changes to Semantics

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?

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

Received on Sunday, 9 June 2013 21:50:51 UTC