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

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

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
Message-ID: <20110407181708.GP21404@styx.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.

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

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