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

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 UTC