W3C home > Mailing lists > Public > www-rdf-interest@w3.org > October 2001

Re: a new way of thinking about RDF and RDF Schema

From: Graham Klyne <GK@ninebynine.org>
Date: Sun, 14 Oct 2001 11:44:28 +0100
Message-Id: <5.1.0.14.2.20011014113213.03bba3d0@joy.songbird.com>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: joint-committee@daml.org, www-rdf-interest@w3.org, simeon@research.bell-labs.com
At 03:52 PM 10/12/01 -0400, Peter F. Patel-Schneider wrote:
>2/ Data Values and Datatypes
>
>DV is the union of the value spaces of the XML Schema primitive datatypes
>
>DT <= U are the QNames that reference XML Schema datatypes
>
>DTC : DT -> powerset ( DV ), maps XML Schema datatypes to their value spaces
>
>DTS : DT -> ( L -> DV ),
>         contains the lexical to value maps for XML Schema datatypes
>
>XTS : L -> powerset ( DV )
>       v in XTS(l)  iff  v = DTS(dt)(l) for some XML Schema datatype dt
>
>(If you didn't want to bother with datatypes, you could just work with
>data sets where all text nodes are under nodes with string type.)


>3/ Interpretations
>
>An interpretation I is a four-tuple
>         < IR, IEXT, ICEXT, IS >
>
>where IR is a non-empty set, called resources
>       IEXT <= powerset ( IR x (IR u DV) )
>       ICEXT : IR -> powerset ( IR u DV )
>       IS : U -> IR
>
>and IS(rdf:type) in ICEXT(IS(rdf:Property))
>
>     ICEXT(IS(rdf:Description)) = IR

Did you mean rdf:Resource here?

>     ICEXT(IS(rdf:Property)) <= IR
>
>     if < x , y > in IEXT, y in ICEXT(IS(rdf:type)), and < y , z > in IEXT
>        then x in ICEXT ( z )

Er, the members of IEXT are sets of pairs, not bare pairs, no?

#g


------------
Graham Klyne
GK@NineByNine.org
Received on Sunday, 14 October 2001 06:57:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:52 GMT