Re: semantics of daml:equivalentTo, subClassOf, subPropertyOf

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