W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: issues to be resolved before last call (rdfms-assertion)

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Wed, 22 Jan 2003 00:59:39 +0100
To: pfps@research.bell-labs.com
Cc: "Jos De_Roo" <jos.deroo@agfa.com>, www-webont-wg@w3.org
Message-ID: <OF0C68EFAD.2C93F987-ONC1256CB5.00831CE8-C1256CB6.0000022B@agfa.be>


>> which can be proof checked
>> the rdfs:comment remains opaque, we just have the reason
>In this case the social meaning is supposed to come from a natural
>rdfs:comment, so you can proof check back to the rdfs:comment.  However,
>this doesn't get you anywhere close to the social meaning.  How are you
>going to get there?
>Also, what if the social meaning comes from an XML comment?  What if it
>comes from something not on the web at all?

well right, no answers, remember
The point is also that we cannot use a single notion of
'meaning' to say this properly, since of course the formal
entailments cannot themselves utilize the social aspects
of meaning which are included in *informal* aspects of the
publication, such as in a comment which is opaque to any
likely RDF inference engine or machine processor. Social
meanings can be, as it were, transferred or carried by
formal entailments, but they cannot be incorporated into
the formal entailments.

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 21 January 2003 19:00:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:50 UTC