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

Re: Syntax Changes (AllDifferent etc.)

From: Dan Connolly <connolly@w3.org>
Date: Thu, 20 Feb 2003 10:22:30 -0600
To: Sean Bechhofer <seanb@cs.man.ac.uk>
Cc: WebOnt WG <www-webont-wg@w3.org>
Message-id: <1045758149.478.168.camel@dirk.dm93.org>

On Thu, 2003-02-20 at 09:38, Sean Bechhofer wrote:
> Raphael and I would like to propose the following changes to the
> concrete syntax. This is based on our implementation experience over
> the last couple of weeks.
> 1) An AllDifferent construct is supplied which allows the
>    specification of multiple different individuals. Can we also have
>    AllDisjointClasses and possibly AllSame, AllEquivalentClasses and
>    AllEquivalentProperties. In a number of our example ontologies,
>    there are multiple disjoints. Being forced to represent these as
>    n(n-1) distinct binary disjoints is troublesome, and can result in
>    difficulty in round-tripping, particularly if a tool allows an
>    author to assert multiple simultaneous disjoints (as, for example,
>    is possible in OilEd.

I'm sorta neutral on this, though we have discussed and decided
a relevant issue, so I think this is a request to re-open it.

Mike, the issues list says it's open,


but i'm pretty sure we resolved to
 -- introduce AllDifferent
 -- postpone the rest


"RESOLVED: to close the AllDifferent issue using an AllDifferent class
and a distinctMembers property (to be elaborated by the semantics
editors). Connolly, Carroll, Bechhofer, Dale, Volz, Horan abstaining."

hmm... that's a bit sloppy; I think "the AllDifferent issue"
is 5.18, and it should be marked postponed, not closed.

The decision in manchester was, I think, an ammended form
of this proposal.

oneOfDistinct, a proposal for 5.18 - Unique names assumption
From: Dan Connolly (connolly@w3.org)
Date: Wed, Dec 11 2002

The chairs will please confirm.

> 2)

More on that separately...

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 20 February 2003 11:22:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:51 UTC