'propertyValue' in the Abstract Syntax

Peter,

In the Abstract Syntax, Individual can have property
values, which are defined in Section 2.2 [1] as follows:

 1: propertyValue ::= 'value(' individualvaluedPropertyID  individualID ')'
 2:                 | 'value(' individualvaluedPropertyID  individual ')'
 3:                 | 'value(' datavaluedPropertyID  dataLiteral ')'

In the case of the individual valued property, the
values can be either 'individualID' or 'individual'
(the lines 2 & 3 above).  But I'm afraid that
'individual' (the line 2) do not have to be here.

Is this correct?


-Masahiro


[1]
http://www-db.research.bell-labs.com/user/pfps/owl/semantics/semantics-all.html#2.2

Received on Tuesday, 28 January 2003 09:13:03 UTC