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

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