Builtins String

From RIF
Revision as of 12:55, 2 February 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorAxel Polleres
StatusApproved
RecordJanuary 19, 2010 telecon
DialectCore
PurposeTest built-in predicates and functions for XML schema string datatypes
DescriptionNote the somewhat surprising results on substring. RIF follows XPath on this.
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/DTB
Premises
Presentation SyntaxDocument( 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 ( ex:ok() :- And ( 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-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-string( External( xs:string ("1"^^xs:integer ) ) ) ) External( pred:is-literal-normalizedString( External( xs: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:iri-string( <http://www.example.org> "http://www.example.org" ) ) -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 ) ) "fo" = 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$" ) ) ) ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:ok()
XMLview RIF/XML