W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

Re: semantics of daml:equivalentTo, subClassOf, subPropertyOf

From: Dan Connolly <connolly@w3.org>
Date: Tue, 14 Nov 2000 00:23:55 -0600
Message-ID: <3A10DA7B.FB21B76B@w3.org>
To: Pierre-Antoine CHAMPIN <champin@bat710.univ-lyon1.fr>, Grit Denker <denker@csl.sri.com>, www-rdf-logic@w3.org
fixed in:

http://www.daml.org/2000/10/daml-ont.daml
$Id: daml-ont.daml,v 1.2 2000/11/14 06:16:00 connolly Exp $

(please excuse the non-monotonicity of version numbers
w.r.t. time; we have moved the CVS repository a few
times.)

Dan Connolly wrote:
> 
> Pierre-Antoine CHAMPIN wrote:
> >
> > There is something bothering me aboutdaml:equivamentTo :
> > the schema specifies that it is a subProperty of both rdfs:subPropertyOf and rdfs:subClassOf.
> >
> > Which means that when you state
> >
> >   daml:equivalentTo( daml:Class, rdfs:Class )
> >
> > you state that daml:Class is a subclass of rdfs:Class (ok),
> > but *also* that daml:Class is a subProperty of rdfs:Class (less ok...),
> 
> oops! That _is_ broken.
> 
> Darn... I was hoping that I could get rdfs-aware agents to conclude
>         rdfs:subClassOf(X, Y)
> for free from
>         daml:equivalentTo(X, Y)
> 
> by way of subPropertyOf. But I guess I need
> 
>         daml:sameClassAs(X, Y)
> which is a supPropertyOf rdfs:subClass and daml:equivalentTo.
> Likewise for Properties.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Tuesday, 14 November 2000 01:24:14 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:32 UTC