W3C home > Mailing lists > Public > public-rdf-wg@w3.org > April 2011

Re: RDF Recommendation Set comments (re agenda for 6th April)

From: Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr>
Date: Thu, 07 Apr 2011 17:57:22 +0200
Message-ID: <4D9DDEE2.7050904@insa-lyon.fr>
CC: public-rdf-wg@w3.org
Peter gave an example in one of today's emails:

<ex:a> <ex:p> "<notLegalXML"^^rdf:XMLLiteral .
<ex:p> rdfs:range rdf:XMLLiteral .

cannot be true in any rdfs-interpretation; it is rdfs-inconsistent.

See http://www.w3.org/TR/rdf-mt/#RDFSINTERP


other examples can be made if you consider XSD entailment, e.g.:

:p rdfs:range xsd:int .
:x :p "abc" .



AZ

Le 07/04/2011 17:41, William Waites a écrit :
> * [2011-04-07 09:31:20 -0400] Peter Frederick Patel-Schneider<pfps@research.bell-labs.com>  écrit:
>
> ] Well, it is possible to derive contradictions in RDFS all by itself, so
> ] the answer to your question is obvious.
>
> Is it?
>
> -w


-- 
Antoine Zimmermann
Researcher at:
Laboratoire d'InfoRmatique en Image et Systèmes d'information
Database Group
7 Avenue Jean Capelle
69621 Villeurbanne Cedex
France
Tel: +33(0)4 72 43 61 74 - Fax: +33(0)4 72 43 87 13
Lecturer at:
Institut National des Sciences Appliquées de Lyon
20 Avenue Albert Einstein
69621 Villeurbanne Cedex
France
antoine.zimmermann@insa-lyon.fr
http://zimmer.aprilfoolsreview.com/
Received on Thursday, 7 April 2011 15:57:51 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:41 GMT