W3C home > Mailing lists > Public > www-webont-wg@w3.org > March 2002

RE: SEM: semantics for current proposal

From: Ziv Hellman <ziv@unicorn.com>
Date: Thu, 21 Mar 2002 19:13:59 +0200
Message-ID: <6194CD944604E94EB76F9A1A6D0EDD2331C7F3@calvin.unicorn.co.il>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, "webont" <www-webont-wg@w3.org>
I have a question regarding the interaction of uniquely identifying
properties and cardinalities in OWL. 

That is, suppose that a property p has  min cardinality 3 and max
cardinality 5, is defined to be uniquely identifying, and we have two
instances i and j.

Let the instances associated with i through p be  { a, b, c }
and suppose now one wishes to associated with instance j, through p, the
instances { c d e f }. Is this problematic because c is in the range of
both i and j, or is this allowed because {a b c} != {c d e f} ?



>-----Original Message-----
>From: Peter F. Patel-Schneider [mailto:pfps@research.bell-labs.com]
>Sent: Thursday, March 21, 2002 2:56 PM
>To: webont
>Subject: SEM: semantics for current proposal
>
>
>Hi:
>
>I put together a semantics for the current proposal for the 
>semantics group
>to peruse.
>
>peter
>
>
>
Received on Thursday, 21 March 2002 12:14:31 GMT

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