- From: Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr>
- Date: Thu, 07 Apr 2011 18:32:46 +0200
- 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 "xyz". > > ] 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 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 16:33:15 UTC