"Datatyping for Dummies" answers to quiz

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Thu, 21 Feb 2002 12:36:58 +0200
To: RDF Core <w3c-rdfcore-wg@w3.org>, Pat Hayes <phayes@ai.uwf.edu>
CC: Brian McBride <brian_mcbride@hp.com>
Message-ID: <B89A9A6A.F398%patrick.stickler@nokia.com>
```
Here's a quiz, with answers based on the "Datatyping for Dummies"
minimalistic solution.

Facts about the graph semantics are flush with left margin,
facts about the datatyping interpretation (above the graph) are

1a.
xxx ppp "zzz" .

"zzz" rdf:type rdfs:Literal.
"zzz" denotes the literal "zzz".
"zzz" is a member of the RDF class ddd.
Interpretation: undeterminable.

1b.
ppp rdfs:range ddd .
xxx ppp "zzz" .

"zzz" rdf:type rdfs:Literal.
"zzz" denotes the literal "zzz".
"zzz" denotes a member of the RDF class ddd.
Interpretation: undeterminable.

1c.
ddd rdf:type rdfs:Datatype .
ppp rdfs:range ddd .
xxx ppp "zzz" .

"zzz" rdf:type rdfs:Literal.
"zzz" denotes the literal "zzz".
"zzz" denotes a member of the RDF class ddd.
Interpretation:
ddd denotes a datatype DDD.
"zzz" is a lexical form of DDD.
data value is obtainable from DDD("zzz").

2a.
ppp rdfs:range ddd .
xxx ppp _:1 .

_:1 rdf:type rdfs:Resource.
_:1 denotes a member of the RDF class ddd.
Interpretation: undeterminable.

2b.
ddd rdf:type rdfs:Datatype .
ppp rdfs:range ddd .
xxx ppp _:1 .

_:1 rdf:type rdfs:Resource.
_:1 denotes a member of the RDF class ddd.
Interpretation:
ddd denotes a datatype DDD.
_:1 denotes a member of the value space of DDD.

3a.
xxx ppp _:1 .
_:1 ddd "zzz" .

_:1 rdf:type rdfs:Resource.
"zzz" rdf:type rdfs:Literal.
"zzz" denotes the literal "zzz".
Interpretation: undeterminable.

3b.
ddd rdf:type rdfs:Datatype .
xxx ppp _:1 .
_:1 ddd "zzz" .

_:1 rdf:type rdfs:Resource.
"zzz" rdf:type rdfs:Literal.
"zzz" denotes the literal "zzz".
Interpretation:
ddd denotes a datatype DDD.
_:1 denotes a member of the value space of DDD.
"zzz" is a lexical form of DDD.
data value is obtainable from DDD("zzz").

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

_:1 rdf:type rdfs:Resource.
_:1 denotes a member of the RDF class ddd.
"zzz" rdf:type rdfs:Literal.
"zzz" denotes the literal "zzz".
Interpretation: undeterminable.

4b.
ddd rdf:type rdfs:Datatype .
ppp rdfs:range ddd .
xxx ppp _:1 .
_:1 ddd "zzz" .

_:1 rdf:type rdfs:Resource.
_:1 denotes a member of the RDF class ddd.
"zzz" rdf:type rdfs:Literal.
"zzz" denotes the literal "zzz".
Interpretation:
ddd denotes a datatype DDD.
_:1 denotes a member of the value space of DDD.
"zzz" is a lexical form of DDD.
data value is obtainable from DDD("zzz").

That's it.

Patrick

--

Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com
```
Received on Thursday, 21 February 2002 05:36:56 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:55 UTC