RE: struggling with ASK

I fiddled around with the themes folks suggested.

 

This works.


    public const String webid2key2 = 
    "PREFIX : <http://www.w3.org/ns/auth/cert#>\n" +
    "PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>\n" +
    "ASK {0}\n" +
        "<{1}> :key [\n" +
        ":modulus \"{2}\"^^xsd:hexBinary ;\n" +
        ":exponent \"{3}\"^^xsd:integer ;\n" +
        "] .\n" +
    "{4}\n";
    public const String webid2key2 = 
    "PREFIX : <http://www.w3.org/ns/auth/cert#>\n" +
    "PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>\n" +
    "ASK {0}\n" +
        "<{1}> :key [\n" +
        ":modulus \"{2}\"^^xsd:hexBinary ;\n" +
        ":exponent \"{3}\"^^xsd:integer ;\n" +
        "] .\n" +
    "{4}\n";


 

Throwing darts works, typically. 


http://tinyurl.com/cbxbutj 

 

I'll perfect the use of Kingsleys sparql server later on, since using a sparql server for this seems totatlly natural. The sparql server is not only the query processor, but the document/graph cache - implementing a trusted cache. Butler Lampson may yet be proved right...

 

Thanks folks. I think Im nearly done.

 

Love now to see someone's (*off topic*) ideas for walking the foaf:knows link chain, using the Euler reasoner.

 

----------------------------------------
> Date: Tue, 29 Nov 2011 16:35:50 -0500
> From: kidehen@openlinksw.com
> To: henry.story@bblfish.net
> CC: public-xg-webid@w3.org
> Subject: Re: struggling with ASK
>
> On 11/29/11 4:24 PM, Henry Story wrote:
> > On 29 Nov 2011, at 21:58, Kingsley Idehen wrote:
> >>>>
> >> Peter,
> >>
> >> SPARQL Protocol (Query Editor) URL: http://goo.gl/06apv .
> >> SPARQL Protocol (Query Results) URL: http://goo.gl/3RTPW .
> >>
> >> SPARQL ASK text:
> >>
> >> PREFIX :<http://www.w3.org/ns/auth/cert#>
> >> PREFIX xsd:<http://www.w3.org/2001/XMLSchema#>
> >> ASK {
> >> <http://id.myopenlink.net/about/id/entity/http/twitter.com/kidehen> :key [
> >> :modulus "9d25875087cb936da55dd036b89530a2d830ce72f378a3fcc2fe07174d74ef07aff2a552ef582bb57676d377daf3732ccc7cae810522dcdfce76e823cc297bad002b0d3ea42578ec00d2ae7354247420b9d708fce870679e22e5ecd49a149b41ea2f4eafdbc767bec673d088f98d1b12cd4a4997d362a4ed2ed5215c4c21072d079abdb2cc2da1a27563b86643ab6222019ae8f667a0b3548227af0ae526b13b5ecc431c11f6896e771010c959b5e6700605f95ff7f0fd3019f8e7ef2605f99a7b0095e7c9bb6e99825fda43d30a9c8baed0e35217c2cc61a81fc21dd500974f52deb6c1f784a603a989e4d5c421003d16978c23f62b4f4e027b7e4295fb6db7"^^xsd:hexBinary;
> >> :exponent "65537"^^xsd:int;
> >> ] .
> >> }
> > If that does it, then could it be that the version of SPARQL that Peter was using was not doing D-entailment between xsd:int and xsd:integer ? Ie: it could be that Peter's Profile used xsd:int (as that is how I had written it out in the earlier spec) and the ASK query was written with the number written out with no datatype specification, i.e. that it is a pure xsd:integer.
> >
> > I should have upgraded all the RDF to use xsd:integer so that we minimise these types of issues until D-entailment works correctly everywhere. This type of thing is something Bergi should test for.
> >
> > Henry
> >
> >> --
> >>
> >> Regards,
> >>
> >> Kingsley Idehen
> >> Founder& CEO
> >> OpenLink Software
> >> Company Web: http://www.openlinksw.com
> >> Personal Weblog: http://www.openlinksw.com/blog/~kidehen
> >> Twitter/Identi.ca handle: @kidehen
> >> Google+ Profile: https://plus.google.com/112399767740508618350/about
> >> LinkedIn Profile: http://www.linkedin.com/in/kidehen
> >>
> >>
> >>
> >>
> >>
> >>
> > Social Web Architect
> > http://bblfish.net/
> >
> >
> Henry,
>
> This also works:
> PREFIX : <http://www.w3.org/ns/auth/cert#>
> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
> ASK {
> <http://id.myopenlink.net/about/id/entity/http/twitter.com/kidehen> :key [
> :modulus
> "9d25875087cb936da55dd036b89530a2d830ce72f378a3fcc2fe07174d74ef07aff2a552ef582bb57676d377daf3732ccc7cae810522dcdfce76e823cc297bad002b0d3ea42578ec00d2ae7354247420b9d708fce870679e22e5ecd49a149b41ea2f4eafdbc767bec673d088f98d1b12cd4a4997d362a4ed2ed5215c4c21072d079abdb2cc2da1a27563b86643ab6222019ae8f667a0b3548227af0ae526b13b5ecc431c11f6896e771010c959b5e6700605f95ff7f0fd3019f8e7ef2605f99a7b0095e7c9bb6e99825fda43d30a9c8baed0e35217c2cc61a81fc21dd500974f52deb6c1f784a603a989e4d5c421003d16978c23f62b4f4e027b7e4295fb6db7"^^xsd:hexBinary;
> :exponent "65537"^^xsd:integer;
> ] .
> }
>
> This works, but it makes specific use of Virtuoso's in-built functions.
> This option is useful when people copy and paste the modulus from
> keychain and other keystores with a UI front that leads to spaces in the
> modulus:
>
> PREFIX : <http://www.w3.org/ns/auth/cert#>
> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
> ASK {
> <http://id.myopenlink.net/about/id/entity/http/twitter.com/kidehen> :key [
> :modulus ?m ;
> :exponent ?e ;
> ] .
>
> filter (str (?m) = sql:FOAF_MOD ("9D 25 87 50 87 CB 93 6D A5 5D D0 36 B8
> 95 30 A2 D8 30 CE 72 F3 78 A3 FC C2 FE 07 17 4D 74 EF 07 AF F2 A5 52 EF
> 58 2B B5 76 76 D3 77 DA F3 73 2C CC 7C AE 81 05 22 DC DF CE 76 E8 23 CC
> 29 7B AD 00 2B 0D 3E A4 25 78 EC 00 D2 AE 73 54 24 74 20 B9 D7 08 FC E8
> 70 67 9E 22 E5 EC D4 9A 14 9B 41 EA 2F 4E AF DB C7 67 BE C6 73 D0 88 F9
> 8D 1B 12 CD 4A 49 97 D3 62 A4 ED 2E D5 21 5C 4C 21 07 2D 07 9A BD B2 CC
> 2D A1 A2 75 63 B8 66 43 AB 62 22 01 9A E8 F6 67 A0 B3 54 82 27 AF 0A E5
> 26 B1 3B 5E CC 43 1C 11 F6 89 6E 77 10 10 C9 59 B5 E6 70 06 05 F9 5F F7
> F0 FD 30 19 F8 E7 EF 26 05 F9 9A 7B 00 95 E7 C9 BB 6E 99 82 5F DA 43 D3
> 0A 9C 8B AE D0 E3 52 17 C2 CC 61 A8 1F C2 1D D5 00 97 4F 52 DE B6 C1 F7
> 84 A6 03 A9 89 E4 D5 C4 21 00 3D 16 97 8C 23 F6 2B 4F 4E 02 7B 7E 42 95
> FB 6D B7") && xsd:integer(?e) = 65537)
> }
>
>
> Links:
>
> 1. http://goo.gl/hv4US -- SPARQL Protocol URL (results)
> 2. http://goo.gl/JGO6D -- SPARQL Protocol URL (query editor)
> 3. http://goo.gl/pXbQa -- SPARQL Protocol URL (results) for query using
> Virtuoso specific function
> 4. http://goo.gl/mlB4B -- SPARQL Protocol URL (query editor) for query
> using Virtuoso specific funtion.
>
> --
>
> Regards,
>
> Kingsley Idehen
> Founder& CEO
> OpenLink Software
> Company Web: http://www.openlinksw.com
> Personal Weblog: http://www.openlinksw.com/blog/~kidehen
> Twitter/Identi.ca handle: @kidehen
> Google+ Profile: https://plus.google.com/112399767740508618350/about
> LinkedIn Profile: http://www.linkedin.com/in/kidehen
>
>
>
>
>
>

Received on Tuesday, 29 November 2011 23:03:37 UTC