Re: Comments on this afternoon session on Turtle (ISSUE-12)

On 18 Apr 2011, at 11:36, Andy Seaborne wrote:
> To state
> 
> :title rdfs:range rdf:PlainLiteral .
> 
> isn't it also assuming mapping to rdf:PlainLiteral to plain literal in lexical form?  Is that allowed by rdfs:range?

This asserts the following: The object of any triple that has the :title predicate denotes a resource that is in the value space of rdf:PlainLiteral.

The value space of rdf:PlainLiteral includes all Unicode strings. (Unicode string, like all other literal values, are resources in RDF Semantics.)

The plain literal "foo" denotes the Unicode string "foo", which is in that value space.

So it's all fine according to RDF Semantics.

(Side note: the Entailment Rules in RDF Semantics would be a lot simpler if RDF Semantics allowed literals as subjects ... :-)

Best,
Richard

Received on Wednesday, 20 April 2011 10:59:07 UTC