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

Issue: Request support for adding a new unique name in a collection

From: Deborah McGuinness <dlm@ksl.Stanford.EDU>
Date: Thu, 16 Jan 2003 10:50:53 -0800
Message-ID: <3E26FF0D.9BC44968@ksl.stanford.edu>
To: Webont <www-webont-wg@w3.org>

In response to the previous issue 5.18 Unique Names Assumption Support
in OWL [1], we have added a partial solution with the notion of
allDifferent [2].
AllDifferent allows one to make a collection of distinct members.

Currently in OWL DL and OWL Lite, if an allDifferent collection has been
created and one wants to add a new distinct member, one would need to
create the new individual and then also make a new inclusive
allDifferent statement including the new individual and all of the other
individuals from which it is different.  This message requests a more
convenient syntax for adding one new member to the collection.

As an example, consider the initial collection (of wineries as in the
example in the Guide document):
<owl:AllDifferent>
<owl:distinctMembers rdf:parsetType="Collection">
  <ex:Person rdf:about="Marietta" />
  <ex:Person rdf:about="Bancroft" />
  <ex:Person rdf:about="Forman" />
  <ex:Person rdf:about="Beringer" />
 </owl:distinctMembers>
<owl:AllDifferent>

If one wanted to add one new winery that was distinct, one would need to
make the new winery and then make a new all different statement
containing it and all of the previous terms.

<owl:AllDifferent>
<owl:distinctMembers rdf:parsetType="Collection">
  <ex:Person rdf:about="Marietta" />
  <ex:Person rdf:about="Bancroft" />
  <ex:Person rdf:about="Forman" />
  <ex:Person rdf:about="Beringer" />
  <ex:Person rdf:about="NewWinery" />
 </owl:distinctMembers>
<owl:AllDifferent>

When collections are large, creating the updated large collection
statement is inconvenient and it would be preferable to add a more
concise syntax for the addition.

This issue was raised in response to discussions at both the Manchester
f2f meeting and the  Jan 16 webont telecon.

[1]
http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.18-Unique-Names-Assumption-Support-in-OWL

[2] http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0181.html


--
 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 email: dlm@ksl.stanford.edu
 URL: http://ksl.stanford.edu/people/dlm
 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)
801 705 0941
Received on Thursday, 16 January 2003 13:51:51 GMT

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