W3C home > Mailing lists > Public > www-tag@w3.org > December 2003

RE: [rdfmsQnameUriMapping-6] CLOSED: Algorithm for creating a URI from a QName?

From: Bullard, Claude L (Len) <clbullar@ingr.com>
Date: Wed, 10 Dec 2003 14:39:37 -0600
Message-ID: <15725CF6AFE2F34DB8A5B4770B7334EE03F9F043@hq1.pcmail.ingr.com>
To: 'Tim Bray' <tbray@textuality.com>
Cc: www-tag@w3.org

I don't know if this helps, but it was informative to me.

http://mally.stanford.edu/theory.html

Ernst Mally makes the distinction between "exemplifying" 
and "encoding" a property.  

"Mally's distinction between exemplifying and encoding a property is
formally represented in the theory as the distinction between the atomic
formulas `Fx' (`x exemplifies F') and `xF' (`x encodes F')."

http://mally.stanford.edu/distinction.html

The example is given that one should not say "Sherlock Holmes IS a
detective" given 
that Holmes is fictional and this assignment should be 
reserved for real, not fictional or abstract properties.
Instead, Mally proposed the operator "encodes" such 
that when one states this, one is saying that Holmes 
has the pattern properties of a detective.

"Whereas we can identify and individuate concrete objects in terms of their
spatiotemporal location, we must identify and individuate abstract objects
in some other way, for abstract objects are not the kind of thing that could
have a location in spacetime. Encoding provides the means of identifying and
individuating abstract objects. The properties that an abstract object
encodes are part of its intrinsic nature---they are even more essential to
it than the properties that such objects exemplify necessarily."

Would one then say when defining resources that a 
resource 'encodes' its representations.  That would 
be particularly true of elements and attributes, it seems.

"To extend Mally's idea to its logical conclusion, therefore, we simply
assert the following two principles: 

For each group of properties, there is an abstract object that encodes just
the properties in that group. 
Abstract objects x and y are identical if and only they (necessarily) encode
the same properties."

len

From: Tim Bray [mailto:tbray@textuality.com]

The Namespaces Rec succeeds in making XML vocabularies into Web 
resources.  It did not attempt to make elements and attributes, as 
abstractions, into Web resources. That would have been a worthy goal, 
but would have required the invention of quite a bit more new 
technology.
Received on Wednesday, 10 December 2003 15:39:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 12:47:23 GMT