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