W3C home > Mailing lists > Public > public-cwm-talk@w3.org > July to September 2007

Help: Cwm proof generation by command-line data insertion and verification.

From: Fabio Pezzoni <fabio.pezzoni@email.it>
Date: Sat, 18 Aug 2007 18:39:48 +0200
Message-ID: <46C720D4.2060504@email.it>
To: public-cwm-talk@w3.org

Hello, sorry for my english :D
I'm working on my dissertation about social networking relating this 
publication: http://www.dicom.uninsubria.it/dawsec/pubs/42781734.pdf. 
I'm a newbie about it :D
In my actually work a node(A) sents to another node(B) an access request 
to a certain resource, B answers with a list of accessrules in N3 (All 
shared messages are contained in SOAP envelope.). About this rules A 
requests to a centralnode(C) certificatepaths that satisfy rules. From 
certificatepaths A generates some assertion in N3. Now with accessrules 
and assertion A generates a proof with cwm but it haven't stored files 
so it can make it using "python c:\cwm-1.2.0a1\cwm --think --why" and 
then pastes accessrules and assertion in command-line terminating with a 
EOF, it work.
Now A sends proof to B that shoulds check it and gives requested 
resource. The problem is that so generated proof can't verified because 
B obtain this error:

       Proof failed:  Can't retreive/parse 
<file:///Documents%20and%20Settings/Fabio/Desktop/cwm/esempi-n3/> because:
        Unable to access document 
<file:///Documents%20and%20Settings/Fabio/Desktop/cwm/esempi-n3/>, because:
          [Errno 2] No such file or directory: 
'\\DocumentsandSettings\\Fabio\\Desktop\\cwm\\esempi-n3\\'.

I think this is caused becouse in source field proof refers to local 
directory. I haven't found a solution to verify proof gerenated with 
this method.
Can someone help me about this problem or can say me how to share source 
file to get verification with no more transations?

Thank you much!

This is a example of my datas:

----rules----
@prefix relx: <http://www.dicom.uninsubria.it/dawsec/vocs/relx#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

<1000> a foaf:Agent .
<fabio> a foaf:Document .

{?rel_1 relx:initNode <1000>; relx:termNode ?node; relx:type [a 
foaf:RelType]; relx:depth [math:notLessThan 1]; relx:trustLevel 
[math:notLessThan 0]. } => {?node relx:canAccess <fabio>}.
----ENDrules----

----assertions----
@prefix relx: <http://www.dicom.uninsubria.it/dawsec/vocs/relx#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

<1> a foaf:Agent .
<1000> a foaf:Agent .
relx:FriendOf a relx:RelType .

<rel_1> a relx:Relationship; relx:initNode <1000>; relx:termNode <1>; 
relx:type relx:FriendOf; relx:depth 3; relx:trustLevel 1.0 .
----ENDassertions----

----proof obtained by command-line insertion---
     @prefix : <http://www.dicom.uninsubria.it/dawsec/vocs/relx#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix math: <http://www.w3.org/2000/10/swap/math#> .
    @prefix pr: <http://www.w3.org/2000/10/swap/reason#> .

      [      a pr:Parsing,
                    pr:Proof;
             pr:because  [
                 a pr:CommandLine;
                 pr:args "['c:\\\\cwm-1.2.0a1\\\\cwm', '--think', 
'--why']" ];
             pr:gives { @forAll <./#node>,
                        <./#rel_1> .
            <1>     a <http://xmlns.com/foaf/0.1/Agent> .
            <1000>     a <http://xmlns.com/foaf/0.1/Agent> .
            <fabio>     a <http://xmlns.com/foaf/0.1/Document> .
            <rel_1>     a :Relationship;
                 :depth 3;
                 :initNode <1000>;
                 :termNode <1>;
                 :trustLevel 1.0;
                 :type :FriendOf .
            :FriendOf     a :RelType .
            {
                <./#rel_1>     :depth  [
                         math:notLessThan 1 ];
                     :initNode <1000>;
                     :termNode <./#node>;
                     :trustLevel  [
                         math:notLessThan 0 ];
                     :type  [
                         a <http://xmlns.com/foaf/0.1/RelType> ] .

                }     log:implies {<./#node>     :canAccess <fabio> .
                } .
            };
             pr:source <./> ].
----END----

----proof obtained using files (zdata2.n3 as rules, zass2.n3 as 
assertions)----
     @prefix : <http://www.dicom.uninsubria.it/dawsec/vocs/relx#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix math: <http://www.w3.org/2000/10/swap/math#> .
    @prefix pr: <http://www.w3.org/2000/10/swap/reason#> .
    @prefix run: <#> .
    @prefix zdata: <zdata2.n3#> .

     @forSome run:_g0 .
      [      a pr:Conjunction,
                    pr:Proof;
             pr:component  [
                 a pr:Parsing;
                 pr:because run:_g0;
                 pr:source <zass2.n3> ],
                     [
                 a pr:Parsing;
                 pr:because run:_g0;
                 pr:source <zdata2.n3> ];
             pr:gives { @forAll zdata:node,
                        zdata:rel_1 .
            <1>     a <http://xmlns.com/foaf/0.1/Agent> .
            <1000>     a <http://xmlns.com/foaf/0.1/Agent> .
            <fabio>     a <http://xmlns.com/foaf/0.1/Document> .
            <rel_1>     a :Relationship;
                 :depth 3;
                 :initNode <1000>;
                 :termNode <1>;
                 :trustLevel 1.0;
                 :type :FriendOf .
            :FriendOf     a :RelType .
            {
                zdata:rel_1     :depth  [
                         math:notLessThan 1 ];
                     :initNode <1000>;
                     :termNode zdata:node;
                     :trustLevel  [
                         math:notLessThan 0 ];
                     :type  [
                         a <http://xmlns.com/foaf/0.1/RelType> ] .

                }     log:implies {zdata:node     :canAccess <fabio> .
                } .
            } ].

    run:_g0     a pr:CommandLine;
         pr:args "['c:\\\\cwm-1.2.0a1\\\\cwm', 'zass2.n3', 'zdata2.n3', 
'--think
', '--why']" .
----END----
Received on Sunday, 19 August 2007 05:49:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT