W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2001

Re: [semanticweb] Proof and trust

From: Sean B. Palmer <sean@mysterylights.com>
Date: Mon, 19 Nov 2001 17:21:35 -0000
Message-ID: <028c01c1711e$a5f774a0$d1d993c3@localhost>
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

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:16:02 UTC