- From: Axel Polleres <axel.polleres@deri.org>
- Date: Tue, 18 Aug 2009 02:31:09 +0100
- To: Axel Polleres <axel.polleres@deri.org>
- CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
- Message-ID: <4A8A045D.5070809@deri.org>
Axel Polleres wrote: > Apart of these two questions ACTION-785 is complete modulo the > List-functions and from my side the allbuiltins use case is ready for > review. For those examples (that can be added to the test case) are in > the spec already, although they aren't in RIF syntax. attaching the testcase-file... for the records and may be easier to read than looking at the source of the test case page)... I'd be grateful for a parser to run it through and correct it, likely has typos... Axel > best, > Axel > > > Axel Polleres wrote: >> working on the allbuiltins-use case (ACTION-785), cf. >> >> http://www.w3.org/2005/rules/wiki/All_Builtins >> >> 2 questions in this regard >> >> 1) examples over a certain length don't seem to be displayed properly >> anymore. >> >> 2) how can I create the XML-output? (there were some links on tools >> in some mails, but I can't find a direct link to the parser e.g. on >> the implementations link) >> >> Thanks for help, >> Axel -- Dr. Axel Polleres Digital Enterprise Research Institute, National University of Ireland, Galway email: axel.polleres@deri.org url: http://www.polleres.net/
Document(
Prefix(xs <http://www.w3.org/2001/XMLSchema#>)
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-listeral-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 ) ) ) )
External( pred:iri-string( <http://www.example.org> "http://www.example.org" ) )
2 = External ( func:numeric-add( 1 1 ) )
1 = External ( func:numeric-subtract( 2 1 ) )
6 = External ( func:numeric-multiply( 2 3 ) )
2 = External ( func:numeric-divide( 6 3 ) )
1 = External ( func:numeric-integer-divide( 5 3 ) )
2 = External ( func:numeric-integer-mod( 5 3 ) )
External ( pred:numeric-equal( "0.0E0"^^xs:double External ( func:numeric-subtract( 1 1 ) ) ) )
External ( pred:numeric-not-equal( 0 1 ) )
External ( pred:numeric-less-than ( 1 2 ) )
External ( pred:numeric-less-than-or-equal ( 1 2 ) )
External ( pred:numeric-less-than-or-equal ( 1 1 ) )
External ( pred:numeric-greater-than ( 2 -1 ) )
External ( pred:numeric-greater-than-or-equal ( 2 -1 ) )
External ( pred:numeric-greater-than-or-equal ( 2 2 ) )
"0"^^xs:boolean = External ( func:not( "1"^^xs:boolean) )
External ( pred:numeric-not-equal( 0 1 ) )
External ( pred:boolean-equal( "0"^^xs:boolean "0"^^xs:boolean ) )
External ( pred:boolean-less-than( "0"^^xs:boolean "1"^^xs:boolean ) )
External ( pred:boolean-greater-than( "1"^^xs:boolean "0"^^xs:boolean ) )
-1 = External ( func:compare( "bar" "foo" ) )
1 = External ( func:compare( "foo" "bar" ) )
0 = External ( func:compare( "bar" "bar" ) )
"foobar" = External ( func:concat( "foo" "bar" ) )
"foo,bar" = External ( func:string-join( "foo" "bar" "," ) )
"bar" = External ( func:substring( "foobar" 3 ) )
"foo" = External ( func:substring( "foobar" 0 3 ) )
3 = External ( func:string-length( "foo" ) )
"FOOBAR = External ( func:upper-case( "FooBar" ) )
"foobar = External ( func:upper-case( "FooBar" ) )
"RIF%20Basic%20Logic%20Dialect" = External ( func:encode-for-uri( "RIF Basic Logic Dialect" ) )
"http://www.example.com/~b%C3%A9b%C3%A9" = External ( func:iri-to-uri ( "http://www.example.com/~bébé" ) )
"javascript:if (navigator.browserLanguage == 'fr') window.open('http://www.example.com/~b%C3%A9b%C3%A9');" = External ( func:escape-html-uri ( "javascript:if (navigator.browserLanguage == 'fr') window.open('http://www.example.com/~bébé');" ) )
"foo" = External ( func:substring-before( "foobar" "bar" ) )
"bar" = External ( func:substring-after( "foobar" "foo" ) )
"[1=ab][2=]cd" = External ( func:replace( "abcd" "(ab)|(a)" "[1=$1][2=$2]" ) )
External( pred:contains ( "foobar" "foo" ) )
External( pred:starts-with ( "foobar" "foo" ) )
External( pred:ends-with ( "foobar" "bar" ) )
External( pred:matches ( "abracadabra" "^a.*a$" ) )
External( func:year-from-dateTime( "1999-12-31T24:00:00"^^xs:dateTime ) ) = 2000
External( func:month-from-dateTime( "1999-05-31T13:20:00-05:00"^^xs:dateTime ) ) = 5
External( func:day-from-dateTime( "1999-05-31T13:20:00-05:00"^^xs:dateTime ) ) = 31
External( func:hours-from-dateTime( "1999-05-31T08:20:00-05:00"^^xs:dateTime ) ) = 8
External( func:minutes-from-dateTime( "1999-05-31T13:20:00-05:00"^^xs:dateTime ) ) = 20
External( func:seconds-from-dateTime( "1999-05-31T13:20:00-05:00"^^xs:dateTime ) ) = 0
External( func:year-from-date( "1999-12-31"^^xs:date ) ) = 1999
External( func:month-from-date( "1999-05-31"^^xs:date ) ) = 5
External( func:day-from-date( "1999-05-31"^^xs:date ) ) = 31
External( func:hours-from-time( "08:20:00-05:00"^^xs:time ) ) = 8
External( func:minutes-from-time( "13:20:00-05:00"^^xs:time ) ) = 20
External( func:seconds-from-time( "13:20:00-05:00"^^xs:time ) ) = 0
External( func:timezone-from-dateTime( "1999-05-31T13:20:00-05:00"^^xs:dateTime ) ) = "-PT5H"^^xs:dayTimeDuration
External( func:timezone-from-date( "1999-05-31-05:00"^^xs:date ) ) = "-PT5H"^^xs:dayTimeDuration
External( func:timezone-from-time( "13:20:00-05:00"^^xs:time) ) = "-PT5H"^^xs:dayTimeDuration
External( func:years-from-duration( "P20Y15M"^^xs:yearMonthDuration ) ) = 21
External( func:months-from-duration( "P20Y15M"^^xs:yearMonthDuration ) ) = 3
External( func:days-from-duration( "P3DT10H"^^xs:dayTimeDuration ) ) = 3
External( func:hours-from-duration( "P3DT10H"^^xs:dayTimeDuration ) ) = 10
External( func:minutes-from-duration( "-P5DT12H30M"^^xs:dayTimeDuration ) ) = -30
External( func:seconds-from-duration( "P3DT10H12.5S"^^xs:dayTimeDuration ) ) = 12.5
External( func:subtract-dateTimes( "2000-10-30T06:12:00"^^xs:dateTime "1999-11-28T09:00:00Z"^^xs:dateTime) ) = "P337DT2H12M"^^xs:dayTimeDuration
External( func:subtract-dates( "2000-10-30"^^xs:date "1999-11-28"^^xs:date ) ) = "P337D"^^xs:dayTimeDuration
External( func:subtract-times( "11:12:00Z"^^xs:time, "04:00:00"^^xs:time ) ) = PT2H12M"^^xs:dayTimeDuration
External( func:add-yearMonthDurations("P2Y11M"^^xs:yearMonthDuration P3Y3M"^^xs:yearMonthDuration) ) = "P6Y2M"^^xs:yearMonthDuration
External( func:subtract-yearMonthDurations("P2Y11M"^^xs:yearMonthDuration "P3Y3M"^^xs:yearMonthDuration ) ) = "-P4M"^^xs:yearMonthDuration
External( func:multiply-yearMonthDuration("P2Y11M"^^xs:yearMonthDuration 2.3 ) ) = "P6Y9M"^^xs:yearMonthDuration
External( func:divide-yearMonthDuration("P2Y11M"^^xs:yearMonthDuration 1.5 ) ) = "P1Y11M"^^xs:yearMonthDuration
External( func:divide-yearMonthDuration-by-yearMonthDuration( "P3Y4M"^^xs:yearMonthDuration "-P1Y4M"^^xs:yearMonthDuration ) ) = -2.5
External( func:add-dayTimeDurations( "P2DT12H5M"^^xs:dayTimeDuration "P5DT12H"^^xs:dayTimeDuration) ) = "P8DT5M"^^xs:dayTimeDuration
External( func:subtract-dayTimeDurations( "P2DT12H"^^xs:dayTimeDuration, "P1DT10H30M"^^xs:dayTimeDuration ) ) = "P1DT1H30M"^^xs:dayTimeDuration
External( func:multiply-dayTimeDuration( "PT2H10M"^^xs:dayTimeDuration 2.1 ) ) = "PT4H33M"^^xs:dayTimeDuration
External( func:divide-dayTimeDuration( "P4D"^^xs:yearMonthDuration 2 ) ) = "P2D"^^xs:dayTimeDuration
External( func:divide-dayTimeDuration-by-dayTimeDuration( "P4D"^^xs:yearMonthDuration "P2D"^^xs:dayTimeDuration ) ) = 2
External( func:add-yearMonthDuration-to-dateTime( "2000-10-30T11:12:00"^^xs:dateTime "P1Y2M"^^xs:yearMonthDuration ) ) = "2001-12-30T11:12:00"^^xs:dateTime
External( func:add-yearMonthDuration-to-date( "2000-10-30"^^xs:date "P1Y2M"^^xs:yearMonthDuration ) ) = "2001-12-30"^^xs:date
External( func:add-dayTimeDuration-to-dateTime( "2000-10-30T11:12:00"^^xs:dateTime "P3DT1H15M"^^xs:dayTimeDuration ) ) = "2000-11-02T12:27:00"^^xs:dayTime
External( func:add-dayTimeDuration-to-date("2004-10-30Z"^^xs:date "P2DT2H30M0S"^^xs:dayTimeDuration ) ) = "2004-11-01"^^xs:date
External( func:add-dayTimeDuration-to-time( "11:12:00"^^xs:time "P3DT1H15M"^^xs:dayTimeDuration ) ) = "12:27:00"^^xs:time
External( func:add-dayTimeDuration-to-time( "23:12:00+03:00"^^xs:time "P1DT3H15M"^^xs:dayTimeDuration ) ) = "02:27:00+03:00"^^xs:time
External( func:subtract-yearMonthDuration-from-dateTime( "2000-10-30T11:12:00"^^xs:dateTime "P1Y2M"^^xs:yearMonthDuration ) ) = "1999-08-30T11:12:00"^^xs:dateTime
External( func:subtract-yearMonthDuration-from-date( "2000-10-30"^^xs:date "P1Y2M"^^xs:yearMonthDuration ) ) = "1999-08-30"^^xs:date
External( func:subtract-dayTimeDuration-from-dateTime( "2000-10-30T11:12:00"^^xs:dateTime "P3DT1H15M"^^xs:dayTimeDuration ) ) = "2000-10-27T09:57:00"^^xs:dateTime
External( func:subtract-dayTimeDuration-from-date( "2000-10-30"^^xs:date "P3DT1H15M"^^xs:dayTimeDuration ) ) = "2000-10-26"^^xs:date
External( func:subtract-dayTimeDuration-from-time( "11:12:00"^^xs:time "P3DT1H15M"^^xs:dayTimeDuration ) ) = "09:57:00"^^xs:time
External( pred:dateTime-equal( "2002-04-02T12:00:00-01:00"^^xs:dateTime "2002-04-02T17:00:00+04:00"^^xs:dateTime ) )
External( pred:dateTime-less-than( "2002-04-01T12:00:00-01:00"^^xs:dateTime "2002-04-02T17:00:00+04:00"^^xs:dateTime ) )
External( pred:dateTime-greater-than( "2002-04-03T12:00:00-01:00"^^xs:dateTime "2002-04-02T17:00:00+04:00"^^xs:dateTime ) )
External( pred:date-equal( "2004-12-25-12:00"^^xs:date "2004-12-26+12:00"^^xs:date ) )
External( pred:date-less-than( "2004-12-24"^^xs:date "2004-12-26"^^xs:date ) )
External( pred:date-greater-than( "2004-12-26"^^xs:date "2004-12-25"^^xs:date ) )
External( pred:time-equal( "21:30:00+10:30"^^xs:time "06:00:00-05:00"^^xs:time ) )
External( pred:time-less-than( "20:30:00+10:30"^^xs:time "06:00:00-05:00"^^xs:time ) )
External( pred:time-greater-than( "22:30:00+10:30"^^xs:time "06:00:00-05:00"^^xs:time ) )
External( pred:duration-equal( "P1Y"^^xs:yearMonthDuration "P12M"^^xs:yearMonthDuration ) )
External( pred:yearMonthDuration-less-than( "P1Y"^^xs:yearMonthDuration "P13M"^^xs:yearMonthDuration ) )
External( pred:yearMonthDuration-greater-than( "P1Y"^^xs:yearMonthDuration "P11M"^^xs:yearMonthDuration ) )
External( pred:dayTimeDuration-less-than( "P1D"^^xs:dayTimeDuration "PT25H"^^dayTimeDuration ) )
External( pred:dayTimeDuration-greater-than( "P1D"^^dayTimeDuration "PT23H"^^dayTimeDuration ) )
External( pred:dateTime-not-equal( "2002-04-01T12:00:00-01:00"^^xs:dateTime "2002-04-02T17:00:00+04:00"^^xs:dateTime ) )
External( pred:dateTime-less-than-or-equal( "2002-04-01T12:00:00-01:00"^^xs:dateTime "2002-04-02T17:00:00+04:00"^^xs:dateTime ) )
External( pred:dateTime-greater-than-or-equal( "2002-04-03T12:00:00-01:00"^^xs:dateTime "2002-04-02T17:00:00+04:00"^^xs:dateTime ) )
External( pred:date-not-equal( "2004-12-24"^^xs:date "2004-12-26"^^xs:date ) )
External( pred:date-less-than-or-equal( "2004-12-24"^^xs:date "2004-12-26"^^xs:date ) )
External( pred:date-greater-than-or-equal( "2004-12-26"^^xs:date "2004-12-25"^^xs:date ) )
External( pred:time-not-equal( "20:30:00+10:30"^^xs:time "06:00:00-05:00"^^xs:time ) )
External( pred:time-less-than-or-equal( "20:30:00+10:30"^^xs:time "06:00:00-05:00"^^xs:time ) )
External( pred:time-greater-than-or-equal( "22:30:00+10:30"^^xs:time "06:00:00-05:00"^^xs:time ) )
External( pred:duration-not-equal( "P1Y"^^xs:yearMonthDuration "P1M"^^xs:yearMonthDuration ) )
External( pred:yearMonthDuration-less-than-or-equal( "P1Y"^^xs:yearMonthDuration "P13M"^^xs:yearMonthDuration ) )
External( pred:yearMonthDuration-greater-than-or-equal( "P1Y"^^xs:yearMonthDuration "P11M"^^xs:yearMonthDuration ) )
External( pred:dayTimeDuration-less-than-or-equal( "P1D"^^xs:dayTimeDuration "PT25H"^^dayTimeDuration ) )
External( pred:dayTimeDuration-greater-than-or-equal( "P1D"^^dayTimeDuration "PT23H"^^dayTimeDuration ) )
External( pred:XMLLiteral-equal( "<br/>"^^xs:XMLLiteral "<br/>"^^xs:XMLLiteral ) )
External( pred:XMLLiteral-not-equal( "<br/>"^^xs:XMLLiteral "<br><br/>"^^xs:XMLLiteral ) )
External( func:PlainLiteral-from-string-lang( "Hello World!" "en" ) ) = "Hello World!"@en
External( func:string-from-PlainLiteral( "Hello World!"@en ) ) = "Hello World!"
External( func:string-from-PlainLiteral( "Hello World!@en" ) )= "Hello World!@en"
External( func:lang-from-PlainLiteral( "Hello World!@en"^^rdf:PlainLiteral ) )= "en"^^xs:lang
External( func:lang-from-PlainLiteral( "Hello World!@en" ) ) = ""
-1 = External ( func:PlainLiteral-compare( "hallo"@de "welt"@de ) )
1 = External ( func:PlainLiteral-compare( "welt"@de "hallo"@de ) )
0 = External ( func:PlainLiteral-compare( "hallo"@de "hallo"@de ) )
External ( pred:matches-language-range( "Schlagobers ist dasselbe wie Schlagsahne."@de-at "de-*" ) )
)
)
)
)
Received on Tuesday, 18 August 2009 01:32:03 UTC