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 18:32:46 +0200
Message-ID: <4D9DE72E.9040601@insa-lyon.fr>
CC: public-rdf-wg@w3.org
Le 07/04/2011 17:58, William Waites a écrit :
> * [2011-04-07 17:40:37 +0200] Antoine Zimmermann<antoine.zimmermann@insa-lyon.fr>  écrit:
> ] :x owl:sameAs "abc" .
> ] :x owl:sameAs "xyz" .
> So this is true, but in the case of catching modelling errors it
> is unlikely, I suspect, to crop up. Much more likely is to have
> a URI or bnode object where this wouldn't be a contradiction...

Honestly, I believe this one actually can be inferred in non-trivial 
ways on the currently deployed Web of Data, with only RDFS and 
owl:sameAs. Of course, this is probably not going to be written as is by 
someone who really believes that the string "abc" is equal to the string 

> ] rdf:type owl:sameAs owl:sameAs .
> Now that's a funny pathology, but I also suspect it would be
> uncommon. I'm more interesting in finding errors in data that is
> "almost right", not constructing pathological cases.

You can hardly implement a reasoner where you have to manually add 
special treatment of all the "uncommon" cases that lead to 
contradictions. Usually, contradictions come from trivial and absurd 
errors, such as saying that Tim Berners-Lee is a document or that the 
resource identified by http://www.w3.org/ is equivalent to the character 
string "http://www.w3.org/". These things are not uncommon at all in 
real data.

> Cheers,
> -w

Antoine Zimmermann
Researcher at:
Laboratoire d'InfoRmatique en Image et Systèmes d'information
Database Group
7 Avenue Jean Capelle
69621 Villeurbanne Cedex
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
Received on Thursday, 7 April 2011 16:33:15 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:01:58 UTC