- From: William Waites <ww@styx.org>
- Date: Thu, 7 Apr 2011 20:17:08 +0200
- To: Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr>
- Cc: public-rdf-wg@w3.org
* [2011-04-07 18:32:46 +0200] Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr> écrit: ] 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. Right, I suspect there is a lot of mileage to be got here with disjointFrom, because you immediately get classOf(timbl) disjointFrom classOf(timbl) which is easy to spot and easy to generate using rules we know and reasoners that we have. -w -- William Waites <mailto:ww@styx.org> http://river.styx.org/ww/ <sip:ww@styx.org> F4B3 39BF E775 CF42 0BAB 3DF0 BE40 A6DF B06F FD45
Received on Thursday, 7 April 2011 18:17:31 UTC