Re: Some general MT nit-picking

>Some comments on the 28-Aug MT draft.

Many thanks, especially for the suggestions for rewording to make the 
meanings clearer.

I will take these into account in rewriting. Some of them are already fixed.

One point; there is indeed rampant confusion in the 28 Aug draft 
between NTriples terminology (eg <uriRefs>) and RDF graph 
terminology, a product of my own confusion and the change made at the 
F2F. I am currently trying to get this completely rationalized, so 
thanx for the pointers.

>5th para:  I take it the discussion of time-varying referents is not 
>intended to preclude resources with time-varying attributes?  (E.g. 
>a vehicle whose current position can be a function of time.)

Er.....no, it *is* intended to preclude those. One could imagine 
having 'current position' being described in RDF, of course, and 
being constantly updated, but that's what I meant by any particular 
piece of RDF being a 'snapshot'.

>Next para:  I struggled with this;  "the same interpretation ... 
>also assigns truth values to graphs with anonymous nodes", etc.  I 
>don't see how this works.  The Interpretation defined for ground 
>graphs seems to depend on having a direct model theoretic 
>interpretation for the nodes mentioned (if E is <s p o>, I(E) = true 
>iff <I(s),I(o)> is in IEXT(I(p))... )

Yes, but the point is that while the interpretation doesnt assign any 
denotation to anonymous nodes, it does specify the truthvalue of a 
graph containing anonymous nodes.  I will try to say it more clearly.

>
>The next condition is well-mangled by my browser;  is that the 
>intersection of "ICEXT(I(rdfs:ConstraintResource)) and IP" ?

Yes. Im learning how to write HTML (new experience for me! ) using 
DreamWeaver, and this stuff will all be laid out in tables in the 
next version.

Pat

---------------------------------------------------------------------
(650)859 6569 w
(650)494 3973 h (until September)
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Friday, 7 September 2001 11:06:42 UTC