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

Re: semantics of daml:equivalentTo [was: Comments on Annotat

From: <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 12 Oct 2000 00:08:11 +0200
To: " - *jhendler@darpa.mil" <jhendler@darpa.mil>
Cc: " - *www-rdf-logic@w3.org" <www-rdf-logic@w3.org>, " - *connolly@w3.org" <connolly@w3.org>
Message-Id: <0006800032647754000002L042*@MHS>
> we wanted to release something very quickly that pretty much everyone
> could agree to as a definitional language - so symmetric, reflexive,
> transitive, etc. were left out because we didn't have agreement on
> what the complete set was we wanted and what to do -- is on the top
> of the list for next go around -- so it's a fruitful area for
> discussion on this list.

Well, actually we saw TransitiveProperty in daml-ont.daml and that
triggered our thought. The equivalentWith property is important for
tractable graph stuff and a mathematical model is a good thing.
Anyway, we understand your points and we are looking very forward
to that next go around!
In the mean time, we could easily 'eat' the daml-ont.daml with a
slightly modified version of DanC's rdfp.xsl transformsheet.

--
Jos De Roo
Received on Wednesday, 11 October 2000 18:09:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:37 GMT