openId login problems on wiki and all_builtins testcase from Axel Polleres on 2009-08-13 (public-rif-wg@w3.org from August 2009)

From: Axel Polleres <axel.polleres@deri.org>
Date: Thu, 13 Aug 2009 01:41:55 +0100
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Message-ID: <4A836153.1050805@deri.org>
hi all,

seems there are some problems with the openid login on the wiki... 
anybody else experiencing this?

meanwhile I am progressing slowly on on the all_builtins use case...
but I can't paste it in the wiki...

best,
Axel


Document(
  Prefix(ex <http://example.com/example#>)
  Prefix(func <http://www.w3.org/2007/rif-builtin-function#>)
  Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>)

  Group (
   Forall ?x ?y ( ex:ok() :-
    And (
     External( pred:literal-not-identical( "1"^^xs:integer 
"1"^^xs:string ) )
     External( pred:literal-not-identical( "1"^^xs:integer 
"2"^^xs:integer ) )
     External( pred:literal-not-identical( "Hello 
world@"^^rdf:PlainLiteral "Hello world@"^^xs:string ) )
     External( pred:is-literal-anyURI( 
"http://www.example.org"^^xs:anyURI ) )
     External( pred:is-literal-base64Binary( 
"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz/+"^^xs:base64Binary 
) )
     External( pred:is-literal-boolean( "1"^^xs:boolean ) )
     External( pred:is-literal-date ( "2000-12-13-11:00"^^xs:date ) )
     External( pred:is-literal-dateTime ( 
"2000-12-13T00:11:11.3"^^xs:dateTime ) )
     External( pred:is-literal-dateTimeStamp ( 
"2000-12-13T00:11:11.3Z"^^xs:dateTimeStamp ) )
     External( pred:is-literal-double( "1.2E34"^^xs:double ) )
     External( pred:is-literal-float( "-INF"^^xs:float ) )
     External( pred:is-literal-hexBinary( "aabb"^^xs:hexBinary ) )
     External( pred:is-literal-decimal( "1"^^xs:integer ) )
     External( pred:is-literal-integer( "1"^^xs:integer ) )
     External( pred:is-literal-long( "1"^^xs:integer ) )
     External( pred:is-literal-int( "1"^^xs:integer ) )
     External( pred:is-literal-short( "1"^^xs:integer ) )
     External( pred:is-literal-byte( "1"^^xs:integer ) )
     External( pred:is-literal-nonNegativeInteger( "1"^^xs:integer ) )
     External( pred:is-literal-positiveInteger( "1"^^xs:integer ) )
     External( pred:is-literal-unsignedLong( "1"^^xs:integer ) )
     External( pred:is-literal-unsignedInt( "1"^^xs:integer ) )
     External( pred:is-literal-unsignedShort( "1"^^xs:integer ) )
     External( pred:is-literal-unsignedByte( "1"^^xs:integer ) )
     External( pred:is-literal-nonPositiveInteger( "-1"^^xs:integer ) )
     External( pred:is-literal-negativeInteger( "-1"^^xs:integer ) )
     External( pred:is-literal-PlainLiteral( "Hello 
world@en"^^rdf:PlainLiteral ) )
     External( pred:is-literal-PlainLiteral( "Hello 
world@"^^rdf:PlainLiteral ) )
     External( pred:is-literal-string( "Hello world@"^^rdf:PlainLiteral ) )
     External( pred:is-literal-string( "Hello world"^^xs:string ) )
     External( pred:is-literal-normalizedString( "Hello 
world"^^xs:string ) )
     External( pred:is-literal-token( "Hello world"^^xs:string ) )
     External( pred:is-literal-language( "en"^^xs:language ) )
     External( pred:is-literal-Name( "Hello"^^xs:Name ) )
     External( pred:is-literal-NCName( "Hello"^^xs:NCName ) )
     External( pred:is-literal-NMTOKEN( "Hello"^^xs:NMTOKEN ) )
     External( pred:is-literal-time ( "00:11:11.3Z"^^xs:time ) )
     External( pred:is-literal-dayTimeDuration ( 
"P3DT2H"^^xs:dayTimeDuration ) )
     External( pred:is-literal-yearMonthDuration ( 
"P1Y2M"^^xs:yearMonthDuration ) )
     External( pred:is-literal-XMLLiteral ( "<br/>"^^xs:XMLLiteral ) )
     External( pred:is-literal-not-anyURI("1"^^xs:integer ) )
     External( pred:is-literal-not-base64Binary( "foo"^^xs:string ) )
     External( pred:is-literal-not-boolean( "foo"^^xs:string ) )
     External( pred:is-literal-not-date ( "foo"^^xs:string ) )
     External( pred:is-literal-not-dateTime ( "foo"^^xs:string ) )
     External( pred:is-literal-not-dateTimeStamp ( "foo"^^xs:string ) )
     External( pred:is-literal-not-double( "foo"^^xs:string ) )
     External( pred:is-literal-not-float( "foo"^^xs:string ) )
     External( pred:is-literal-not-hexBinary( "foo"^^xs:string ) )
     External( pred:is-literal-not-decimal( "foo"^^xs:string ) )
     External( pred:is-literal-not-integer( "foo"^^xs:string ) )
     External( pred:is-literal-not-long( "foo"^^xs:string ) )
     External( pred:is-literal-not-int( "foo"^^xs:string ) )
     External( pred:is-literal-not-short( "foo"^^xs:string ) )
     External( pred:is-literal-not-byte( "foo"^^xs:string ) )
     External( pred:is-literal-not-nonNegativeInteger( "foo"^^xs:string ) )
     External( pred:is-literal-not-positiveInteger( "foo"^^xs:string ) )
     External( pred:is-literal-not-unsignedLong( "foo"^^xs:string ) )
     External( pred:is-literal-not-unsignedInt( "foo"^^xs:string ) )
     External( pred:is-literal-not-unsignedShort( "foo"^^xs:string ) )
     External( pred:is-literal-not-unsignedByte( "foo"^^xs:string ) )
     External( pred:is-literal-not-nonPositiveInteger( "foo"^^xs:string ) )
     External( pred:is-literal-not-negativeInteger( "foo"^^xs:string ) )
     External( pred:is-literal-not-PlainLiteral( "1"^^xs:integer ) )
     External( pred:is-literal-not-string( "1"^^xs:integer ) )
     External( pred:is-literal-not-normalizedString( "1"^^xs:integer ) )
     External( pred:is-literal-not-token( "1"^^xs:integer ) )
     External( pred:is-literal-not-language( "1"^^xs:integer ) )
     External( pred:is-literal-not-Name( "1"^^xs:integer ) )
     External( pred:is-literal-not-NCName( "1"^^xs:integer ) )
     External( pred:is-literal-not-NMTOKEN( "1"^^xs:integer ) )
     External( pred:is-literal-not-time ( "foo"^^xs:string ) )
     External( pred:is-literal-not-dayTimeDuration ( "foo"^^xs:string ) )
     External( pred:is-literal-not-yearMonthDuration ( "foo"^^xs:string ) )
     External( pred:is-literal-not-XMLLiteral ( "1"^^xs:integer ) )
     External( pred:is-literal-anyURI( External ( xs:anyURI ( 
"http://www.example.org"^^xs:string ) ) ) )
     External( pred:is-literal-base64Binary( External ( xs:base64Binary 
( "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz/+"^^xs:string ) 
) ) )
     External( pred:is-literal-boolean( External ( xs:boolean ( 
"1"^^xs:string ) ) ) )
     External( pred:is-literal-date ( External ( xs:date ( 
"2000-12-13-11:00"^^xs:string ) ) ) )
     External( pred:is-literal-dateTime ( External ( xs:dateTime ( 
"2000-12-13T00:11:11.3"^^xs:string ) ) ) )
     External( pred:is-literal-dateTimeStamp ( External ( 
xs:dateTimeStamp ( "2000-12-13T00:11:11.3Z"^^xs:string ) ) ) )
     External( pred:is-literal-double( External ( xs:double 
("1.2E34"^^xs:string ) ) ) )
     External( pred:is-literal-float( External ( xs:float ( 
"-1"^^xs:string ) ) ) )
     External( pred:is-literal-hexBinary( External ( xs:hexBinary ( 
"aabb"^^xs:string ) ) ) )
     External( pred:is-literal-decimal( External( xs:decimal ( 
"1"^^xs:string ) ) ) )
     External( pred:is-literal-integer(  External( xs:integer ( 
"1"^^xs:string ) ) ) )
     External( pred:is-literal-long( External( xs:long ( "1"^^xs:string 
) ) ) )
     External( pred:is-literal-int(  External( xs:int ( "1"^^xs:string ) 
) ) )
     External( pred:is-literal-short(  External( xs:short ( 
"1"^^xs:string ) ) ) )
     External( pred:is-literal-byte(  External( xs:byte ( "1"^^xs:string 
) ) ) )
     External( pred:is-literal-nonNegativeInteger(  External( 
xs:nonNegativeInteger ( "1"^^xs:string ) ) ) )
     External( pred:is-literal-positiveInteger(  External( 
xs:positiveInteger ( "1"^^xs:string ) ) ) )
     External( pred:is-literal-unsignedLong(  External( xs:unsignedLong 
( "1"^^xs:string ) ) ) )
     External( pred:is-literal-unsignedInt(  External( xs:unsignedInt ( 
"1"^^xs:string ) ) ) )
     External( pred:is-literal-unsignedShort(  External( 
xs:unsignedShort ( "1"^^xs:string ) ) ) )
     External( pred:is-literal-unsignedByte(  External( xs:unsignedByte 
( "1"^^xs:string ) ) ) )
     External( pred:is-literal-nonPositiveInteger( External( 
xs:nonPositiveInteger ("-1"^^xs:string ) ) ) )
     External( pred:is-literal-negativeInteger( External( 
xs:negativeInteger ("-1"^^xs:string ) ) ) )
     External( pred:is-literal-PlainLiteral( External( rdf:PlainLiteral 
("1"^^xs:integer ) ) ) )
     External( pred:is-literal-string(  External( rdf:string 
("1"^^xs:integer ) ) ) )
     External( pred:is-literal-normalizedString(  External( 
rdf:normalizedString ("1"^^xs:integer ) ) ) )
     External( pred:is-literal-token( External( xs:token( 
"de"^^xs:hexBinary ) ) ) )
     External( pred:is-literal-language( External ( xs:language ( 
"de"^^xs:hexBinary ) ) ) )
     External( pred:is-literal-Name( External ( xs:Name ( 
"de"^^xs:hexBinary ) ) ) )
     External( pred:is-literal-NCName( External ( xs:NCName ( 
"de"^^xs:hexBinary ) ) ) )
     External( pred:is-literal-NMTOKEN( External ( xs:NMTOKEN ( 
"de"^^xs:hexBinary ) ) ) )
     External( pred:is-literal-time (  External ( xs:time ( 
"00:11:11.3Z"^^xs:string ) ) ) )
     External( pred:is-literal-dayTimeDuration (  External ( 
xs:dayTimeDuration ( "P3DT2H"^^xs:string ) ) ) )
     External( pred:is-literal-yearMonthDuration (  External ( 
xs:yearMonthDuration ( "P1Y2M"^^xs:string ) ) ) )
     External( pred:is-literal-XMLLiteral (  External ( xs:XMLLiteral( 
"<br/>"^^xs:string ) ) ) ) )
   )
  )
)
Received on Thursday, 13 August 2009 00:42:37 UTC