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

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

From: Peter Frederick Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 7 Apr 2011 12:35:30 -0400
Message-ID: <20110407.123530.768909299955319966.pfps@research.bell-labs.com>
To: <antoine.zimmermann@insa-lyon.fr>
CC: <public-rdf-wg@w3.org>
From: Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr>
Subject: Re: RDF Recommendation Set comments (re agenda for 6th April)
Date: Thu, 7 Apr 2011 10:40:37 -0500

> Le 07/04/2011 15:31, Peter Frederick Patel-Schneider a écrit :
>> Well, it is possible to derive contradictions in RDFS all by itself, so
>> the answer to your question is obvious.
> 
> 
> Then, let us consider RDFS without datatypes. In this case, it is not 
> possible to derive contradictions. However, by adding owl:sameAs, it is 
> possible to derive contradictions even in absence of datatypes.
> 
> :x owl:sameAs "abc" .
> :x owl:sameAs "xyz" .
> 
> or, even better:
> 
> rdf:type owl:sameAs owl:sameAs .
> 
> 
> AZ.

It would be interesting to see the derivation of inconsistency from the
last.

peter
Received on Thursday, 7 April 2011 16:36:16 GMT

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