Warning:
This wiki has been archived and is now read-only.
Built-ins numeric add
From RIF
{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() ) )
}