- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 14 Nov 2000 00:23:55 -0600
- 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