- From: Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr>
- Date: Thu, 07 Apr 2011 17:57:22 +0200
- 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 UTC