Approved
Core
BLD
PRD
Test built-in predicates for XML Schema anyURI datatype
Builtins_anyURI-premise.rif
http://www.w3.org/2005/rules/test/repository/tc/Builtins_anyURI/Builtins_anyURI-premise.rif
)
Prefix(ex )
Prefix(pred )
Group (
ex:ok() :-
And (
External( pred:is-literal-anyURI( "http://www.example.org"^^xs:anyURI ) )
External( pred:is-literal-not-anyURI("1"^^xs:integer ) )
External( pred:is-literal-anyURI( External ( xs:anyURI ( "http://www.example.org"^^xs:string ) ) ) )
)
)
)
]]>
Builtins_anyURI-conclusion.rif
http://www.w3.org/2005/rules/test/repository/tc/Builtins_anyURI/Builtins_anyURI-conclusion.rif