effects of changes to RDF datatyping

From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Subject: Minutes - WebOnt Telecon May 15, 2003
Date: Thu, 15 May 2003 14:08:10 -0400 (EDT)

[...]

> ACTION: Peter Patel-Schneider to design test that shows effects of recent
> 	proposed changes to RDF datatyping and sen[d] to Jeremy Carroll

[...]


Let XMLLiteral be the built-in RDF XML Literal datatype, ignoring for the
moment problems with this datatype.  Let string be the RDF datatype for the
XML Schema string datatype.  Let int be the RDF datatype for the XML
Schema int datatype.


Under the Editor's draft RDF Semantics
(http:/www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/)
	
1/	xsd:int rdf:type rdfs:Datatype .
		{<rdf:XMLLiteral,XMLLiteral>}-entails
	rdf:XMLLiteral xsd:string rdf:type .

2/	xsd:int rdf:type rdfs:Datatype .
		DOES NOT {<rdf:XMLLiteral,XMLLiteral>,
		<rdf:int,int>}-entail  
	xsd:string rdf:XMLLiteral rdf:type .

Received on Thursday, 15 May 2003 15:15:12 UTC