View source

From RIF

You do not have permission to do that, for the following reasons:
The action you have requested is limited to users in one of the groups Sysops, WG.
You must confirm your e-mail address before editing pages. Please set and validate your e-mail address through your user preferences.
You can view and copy the source of this page:
{{TestCase
|type=PositiveEntailmentTest
|author=[[Axel Polleres]]
|status=Obsolete
|approval=
|dialect=Core
|purpose= This test highlights tests all built-in functions and predicates. 
|desc= 
|specRef=http://www.w3.org/2005/rules/wiki/DTB
|seeAlso=
|pformat=[[Presentation Syntax]]
|premise=
Document( 
 Prefix(xs <http://www.w3.org/2001/XMLSchema#>)
 Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>) 
 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 ) ) ) )
    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:lower-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)<nowiki>|</nowiki>(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"^^xs:dayTimeDuration ) )
    External( pred:dayTimeDuration-greater-than( "P1D"^^xs:dayTimeDuration "PT23H"^^xs: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"^^xs:dayTimeDuration ) )
    External( pred:dayTimeDuration-greater-than-or-equal( "P1D"^^xs:dayTimeDuration "PT23H"^^xs: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-*" ) )
   )
  )
 )
)
|cformat=[[Presentation Syntax]]
|conc=ex:ok()
}}
Templates used on this page:
Template:TestCase
Return to All Builtins.
Retrieved from "http://www.w3.org/2005/rules/wiki/All_Builtins"
View source

From RIF

Views

Personal tools

RIF Working Group

publications

Search

Toolbox
