|
Difference between
version 121
and
version 120:
| Line 145 was replaced by line 145 |
| - Here, symbols {{x}} and {{y}} denote either constants or variables. Variables are prefixed with a $ sign. Constants that contain spaces must be delimited using single quotes. If {{x}} is a variable, the first expression is identical to the abbreviated expression {{T}} except that each selected object of {{T}} is assigned to the variable. Similarly, if {{x}} and {{y}} are both variables, the second expression is identical to the abbreviated expression {{T.A}} except that {{x}} and {{y}} are assigned to the {{T}} and {{A}} objects, respectively. If {{x}} is a constant, the expression {{x:T}} is true if {{x}} is an object of {{T}}. If {{x}} is a constant and {{y}} is a variable, the expression {{x[A=y]}} is true if {{x}} is an object having {{y}} as (one of) its {{A}} attribute object(s). |
| + Here, symbols {{x}} and {{y}} denote either constants or variables. Variables are prefixed with a $ sign. Constants that contain spaces must be delimited using single quotes. If {{x}} is a variable, the first expression is identical to the abbreviated expression {{T}} except that each selected object of {{T}} is assigned to the variable. Similarly, if {{x}} and {{y}} are both variables, the second expression is identical to the abbreviated expression {{T.A}} except that {{x}} and {{y}} are assigned to the {{T}} and {{A}} objects, respectively. If {{x}} is a constant, the expression {{x:T}} is true if {{x}} is an object of {{T}}. If {{x}} is a constant and {{y}} is a variable, the expression {{x[[A=y]}} is true if {{x}} is an object having {{y}} as (one of) its {{A}} attribute object(s). |
Back to KRSMS Semantic Annotation Language,
or to the Page History.
|
