- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 6 Jul 2001 12:32:31 -0700
- To: Sergey Melnik <melnik@db.stanford.edu>
- Cc: w3c-rdfcore-wg@w3.org
>I agree with Frank that "out of scope" is a weak argument. This is a >crack at clarifying the role of literals as a part of the formal >model. Below I tried to make the relationship with M&S explicit >whenever possible, and to identify the new issues arising from this >proposal. Notation A x B corresponds to the Cartesian product. > >In particular, I'd like to see whether the clarifications summarized >below break something in M&S that is not already broken, or have >subtle troubles that I failed to identify. > >Formal model: >------------ > >1. There is a set of Unicode strings called Unicode*. > >2. There is a set called Entities = Unicode* x Unicode*, i.e. an >entity is a pair of Unicode strings. The first Unicode string of the >pair is called "namespace prefix". Pity to use the term 'Entity' for a syntactic category. >3. There is a subset of Entities called Resources. That doesn't conform to usage of 'resource' in the larger W3C world. You have defined resources to be pairs of character strings. My understanding is that resources are actual entities (not Entities) , ie things referred to by expressions, not a syntactic category. Pat Hayes --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Friday, 6 July 2001 15:32:32 UTC