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.org/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 ( " "^^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( " "^^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)|(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( " "^^xs:XMLLiteral " "^^xs:XMLLiteral ) ) External( pred:XMLLiteral-not-equal( " "^^xs:XMLLiteral " "^^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-*" ) ) ) ) ) )

XML

view RIF/XML

Conclusion