- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Mon, 19 Nov 2001 17:21:35 -0000
- To: "Erik Hellman" <erik.hellman@apollo.nu>
- Cc: <semanticweb@yahoogroups.com>, <www-rdf-logic@w3.org>
> interresting introduction Thanks :-) > trust and proof Well, there clearly isn't a lot of work going on with respect to trust and proof on the Semantic Web at the moment. Most of the best stuff comes out of the W3C's Semantic Web Advanced Development team, and it's often difficult to find, so here are some pointers:- http://www.w3.org/DesignIssues/Rules http://dev.w3.org/cvsweb/2000/10/swap/test/proof/nurdle.n3.py http://dev.w3.org/cvsweb/2000/10/swap/test/proof/ http://xmlns.com/wot/0.1/ http://www.w3.org/2000/01/sw/#access And some other cool stuff:- http://www.w3.org/DesignIssues/Toolbox http://infomesh.net/2001/proofexample/ http://lists.w3.org/Archives/Public/www-rdf-logic/2001Nov/thread#32 Hmm... that's about it. Sorry, the list is really short. I'll CC this to www-rdf-logic in case someone has something else to add. -- Kindest Regards, Sean B. Palmer @prefix : <http://webns.net/roughterms/> . :Sean :hasHomepage <http://purl.org/net/sbp/> .
Received on Monday, 19 November 2001 12:22:22 UTC