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

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 UTC