Built-ins numeric add

From RIF
Jump to: navigation, search

{PositiveEntailmentTest |title= |author=Stella Mitchell |status=Proposed |dialect=BLD |purpose=Test that the numeric-add built-in function is supported |desc= |specRef=http://www.w3.org/2005/rules/wiki/DTB#func:numeric-add_.28adapted_from_op:numeric-add.29 |pformat=Presentation Syntax |premise= Document(

 Prefix(cpt  http://example.com/concepts#)
 Prefix(func http://www.w3.org/2007/rif-builtin-function#)
 Prefix(xs   http://www.w3.org/2001/XMLSchema#)
 Group
 (
     cpt:passed() :- "10"^^xs:integer = External(func:numeric-add("5"^^xs:integer "5"^^xs:integer))
 )
)

|cformat=Presentation Syntax |conc= Document(

 Prefix(cpt  http://example.com/concepts#)
 Group
 (
     cpt:passed()
 )
)

}