Re: updated draft of model theory

There are various places in the M&S that tie property names to specific
schemas (e.g., P60, sect. 2.2.1, property names must be associated with
a schema, and in 2.2.3).  I don't think this idea is currently reflected
in the model theory is it?  (It would appear to (at least) impact the
definition of vocab(I), and the to-be-written material in Section 9.)  

--Frank


pat hayes wrote:
> 
> RDF Model Theory StrawDog proposal (draft 7/27/01)(typos fixed in sections 1 thru 5, sections 6,7,8 added.)
> 
snip

-- 
Frank Manola                   The MITRE Corporation
202 Burlington Road, MS A345   Bedford, MA 01730-1420
mailto:fmanola@mitre.org       voice: 781-271-8147   FAX: 781-271-8752

Received on Monday, 30 July 2001 14:18:14 UTC