- From: Dan Connolly <connolly@w3.org>
- Date: Fri, 23 Mar 2007 15:12:24 -0500
- To: Andrea Perego <andrea.perego@uninsubria.it>
- Cc: public-cwm-talk@w3.org
On Thu, 2007-03-15 at 16:49 +0100, Andrea Perego wrote: > Dear all, > > I'm new to the mailing list and I would like to report a problem I > encountered when trying to obtain a proof from Cwm. > > We are working on a rule-based mechanism for controlling the access to > resources owned by social network participants. Very briefly, the idea > is that access rules denote authorized users by using constraints on the > type, trust level, and depth of relationships. For this purpose, we > adopted the PAW approach and, in particular, we use N3 to express access > rules and the assertions on the existing relationships, whereas Cwm is > in charge of computing and verifying proofs. Very interesting! [...] > However, if I run > > python cwm-1.0.0/cwm.py socrates.n3 --think --why > > here is the result: > > > #Processed by Id: cwm.py,v 1.164 2004/10/28 17:41:59 timbl Exp The --think and --why stuff is very current work; 2004/10 is probably too old. The cwm version I have here says: v 1.190 2006/08/09 23:20:42 We're overdue for a release. Meanwhile, perhaps you could try checking out a current version with CVS? I think the instructions http://www.w3.org/2000/10/swap/doc/cwm#dev are current. $ cvs -d:pserver:anonymous@dev.w3.org:/sources/public login password? anonymous $ cvs -d:pserver:anonymous@dev.w3.org:/sources/public get 2000/10/swap -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Friday, 23 March 2007 20:12:33 UTC