Re: ISSUE: owl:Class name misleading; try owl:Set?

From: Dan Connolly <connolly@w3.org>
Subject: Re: ISSUE: owl:Class name misleading; try owl:Set?
Date: 02 Jan 2003 23:51:25 -0600

> 
> On Thu, 2003-01-02 at 21:36, Jonathan Borden wrote:
> > Dan Connolly wrote:
> > ...
> > >
> > > Please provide an example of two owl classes that
> > > have the same members but differ in some other
> > > property ...
> > 
> > Hmmm....
> > 
> > ex:foo rdf:type owl:Class .
> > ex:bar rdf:type owl:Class .
> > 
> > ex:foo owl:sameClassAs ex:bar .
> > 
> > but they have different names ... that's a 'property' of a class that
> > differs from the extension eh?
> 
> But from what I understand, that's impossible for owl:Class's.
> i.e. if they have the same extension, they're identical,
> so they have the same properties. (this is not true
> for all rdfs:Classes; only for the owl:Class subclass)

As has been pointed out several times, this is not the case.  See, for
example,  http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0018.html

If you believe otherwise, please point out some part of the semantics
document that you think would give rise to this.

[...]

peter

Received on Friday, 3 January 2003 06:35:08 UTC