replacement for datatype restriction

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

The current version reads:

Property Datatype

The values of a property may be limited to be an RDF Literal with a stated
datatype, such as xsd:string or xsd:date.

The earlier version read:

Property Values belonging to Datatype

The values of a property on instances of a class may be limited by their
datatype, such as xsd:string or xsd:date.


The current version is quite explicit that a restriction stating xsd:integer
will not be satisfied by an RDF Literal like "1"^^xsd:int, even though the
meaning of this literal is an element of xsd:integer.   The earlier version
was less explicit, although it appears that the restriction would be
satisfied in the above situation.  (The earlier version also talked about
instances of a class, but that's irrelevant to the discussion here.)


I propose to split this into two requirements:

Property Datatype

The objects of a property may be limited to be an RDF Literal with a stated
datatype, such as xsd:string or xsd:date.  The RDF Literal "1"^^xsd:int
would not satisfy a limitation to xsd:integer.


Property Data Values

The objects of a property may be limited to be an RDF Literal whose value
belongs to a stated datatype, such as xsd:string or xsd:date.  The RDF
Literal "1"^^xsd:int would satisfy a limitation to xsd:integer.




peter


PS:  A similar issue affects Property Value Enumerations.  For example, is
"01"^^xsd:integer valid when the enumeration is { "01"^^xsd:int }?  What
about for { "1"^^xsd:integer }?
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJU3QlaAAoJECjN6+QThfjzZbkH/2L+AHyGY+66YS7RUsCfS9OU
cQSVAl4KgOhdP9n2AglyUZ8nWy+YJECUxHIk7SjZvdOFgLjVGRkdMPLOGF5gtSX7
glHKWqhELKgYHdTrROdLuhQc0M/6/i/sU/kBNqRJsWO5/eVSaCe/Xb+QcZKZuF22
dDFnhXcZyfuejvFcdgJspDFdavPNDfYGf6t05TTbVF0cNO6anVXQiCIrlgR1QMAs
IGWOr3ZOVowxlAzxg2tzHVS0kZUnm6AqsWN5p6FA/0Z0m33JXMivtWNTwFWZunrC
iztew0SO/LasjKMMpfv1e7U9r/RCQE0TbvACInM/gVOfFhVapXARebRBHeaQ6Ko=
=iK7N
-----END PGP SIGNATURE-----

Received on Thursday, 12 February 2015 20:13:44 UTC