W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 2002

Re: Vocabulary / Semantics

From: pat hayes <phayes@ai.uwf.edu>
Date: Thu, 21 Nov 2002 14:41:49 -0600
Message-Id: <p05111b24ba02f572da5c@[10.0.100.86]>
To: Roland Schwaenzl <roland@mathematik.uni-osnabrueck.de>
Cc: www-rdf-comments@w3.org

>... initial observations:

Thanks.

>
>There are some class relations used in RDF Semantics, which are not 
>recorded in the RDF/XML description of RDF Schema.

I don't follow you. Can you be more specific? What class relations??

>Is there a specific reason for that?
>
>
>
>---------
>
>
>Concepts 2.3.3 says an RDF Datatype is a triple (A, f, C) with A, C 
>sets, f a surjective function A to C, together with a URI called 
>identifier of the datatype.

Ah, that is not exactly how the MT handles it. That is, it assumes 
that all this is associated with the datatype, but it describes it 
somewhat differently. The datatype is I(URI),  f is L2V(I(URI)) and C 
is ICEXT(I(URI)). We don't have an explicit name for A in the model 
theory.

>Semantics 3.4 recovers the set C (for recognized) dataTypes  via 
>ICEXT(URI) . Via
>"iff" in 3.3 one gets literally (!) to those guys which are typed 
>via URI ...is that correct?..

Not sure I follow. The x in the last line of the table in 3.4 is 
I(ddd) for some datatype URI ddd, ie the datatype entity itself, not 
the URI of it. It is assumed to have an L2V value and also a class 
extension which is the value set, ie ICEXT(x) is the range of L2V(x) 
when x is a datatype entity.

Is that clearer?

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Thursday, 21 November 2002 15:41:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:31 GMT