W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

answers to quiz (was: Re: simplified datatyping proposal)

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 20 Feb 2002 16:34:28 -0600
Message-Id: <p0510142db899ad532473@[65.212.118.219]>
To: w3c-rdfcore-wg@w3.org
Answers to the quiz, from two perspectives:
A is  http://www.coginst.uwf.edu/users/phayes/simpledatatype.html
B is  http://www.coginst.uwf.edu/users/phayes/simpledatatype1.html

1.
xxx ppp "zzz" .

A. "zzz" denotes 'zzz'; ppp value of xxx is 'zzz'
B. value is undetermined.

2.
ppp rdfs:drange ddd .
xxx ppp "zzz" .

A. same as above; the drange is irrelevant.
B. value is ddd("zzz")

3.
ppp rdfs:drange ddd .
xxx ppp _:1 .

A,B: ppp value of xxx is undetermined

4.
ppp rdfs:range ddd .
xxx ppp _:1 .
_:1 rdfs:dlex "zzz" .

A, B: value is undetermined

(Unless, that is, we also know that rdfs:range rdfs:subPropertyOf rdfs:drange.)

5.
ppp rdfs:drange ddd .
xxx ppp _:1 .
_:1 rdfs:dlex "zzz" .

A,B: value is ddd("zzz"), ie the datatype value

6.
xxx ppp _:1 .
_:1 ddd "zzz" .

A, B: same as above

7.
xxx ppp _:1 .
_:1 ddd "zzz" .
ppp rdfs:drange eee .

A, B: same as above. Notice this is not a datatype clash because dlex 
is not used.

8.
xxx ppp _:1 .
_:1 rdfs:dlex "zzz" .
ppp rdfs:drange eee .

A, B: value is eee("zzz"), ie the range datatype is used to fix the 
dlex interpretation.


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 20 February 2002 17:34:31 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:18 EDT