- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 29 Jan 2003 10:02:19 -0500 (EST)
- To: HORIM@jp.ibm.com
- Cc: www-webont-wg@w3.org
From: "Masahiro Hori" <HORIM@jp.ibm.com>
Subject: 'propertyValue' in the Abstract Syntax
Date: Tue, 28 Jan 2003 23:11:25 +0900
> 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
All three lines are needed:
The first line is for
Individual(John value(friend Susan))
The second line is for
Individual(John (value (friend Individual(value (friend John)))
The third line is for
Individual(John (value (age xsd:decimal 42)))
peter
Received on Wednesday, 29 January 2003 10:02:38 UTC