Re: minor changes to Semantics

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

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