- From: pat hayes <phayes@ai.uwf.edu>
- Date: 2002年11月21日 14:41:49 -0600
- To: Roland Schwaenzl <roland@mathematik.uni-osnabrueck.de>
- Cc: www-rdf-comments@w3.org
- Message-Id: <p05111b24ba02f572da5c@[10.0.100.86]>
>... 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 UTC