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

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

From: Jim Hendler <jhendler@darpa.mil>
Date: Wed, 11 Oct 2000 16:45:45 -0400
Message-Id: <v04210101b60a81a2dafd@[158.63.53.79]>
To: Dan Connolly <connolly@w3.org>, jos.deroo.jd@belgium.agfa.com
Cc: " - *www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
At 12:56 -0500 10/11/00, Dan Connolly wrote:
>jos.deroo.jd@belgium.agfa.com wrote:
> >
> > Is there any reason for not having SymmetricProperty and
> > ReflexiveProperty classes?
>
>No, no particular reason. Except... hmm... it was
>discussed briefly with a few folks, and I took
>away from that discussion that no, these could
>wait for a future version or a layer on top or something.
>
>Would anybody else care to second this request for
>enhancement? Any particular practical motivation?
>Anybody have tools that could exploit them,
>or tools that suffer for the lack of them, or
>ontologies that you're building that are particularly
>awkward without them?
>
>Better yet: how about writing a schema/ontology for these
>and putting it in the Web, showing how it works, and
>seeing if anybody else finds it useful?
>
> > and EquivalentProperty class?
> > (which is redundant, but good for deductions)
>
>Seems just as reasonable.
>
> > Can we then say type(equivalentTo, EquivalentProperty)?
>
>Yes, we could.


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.

Prof. James Hendler		Program Manager
DARPA/ISO			703-696-2238 (phone)
3701 N. Fairfax Dr.		703-696-2201 (Fax)
Arlington, VA 22203		jhendler@darpa.mil
Received on Wednesday, 11 October 2000 16:46:42 GMT

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