W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: 'propertyValue' in the Abstract Syntax

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 29 Jan 2003 10:02:19 -0500 (EST)
Message-Id: <20030129.100219.29019308.pfps@research.bell-labs.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT