Re: New release of daml+oil

From: Stefan Decker ([email protected])
Date: 01/10/01


>Finally, and a little more controversially, I deleted "item" from the
>list syntax section: we don't use it, and I presume that it isn't our
>intention to provide a general purpose list implementation. Scream now
>if you object to this.
*SCREAM* ;-)
I would object this. The reason:
without an item construct one may have to repeat information.

An example:
Given the following class definitions:

<rdfs:Class rdf:about="#Car"/>
<rdfs:Class rdf:about="#Person"/>
<rdfs:Class rdf:about="#Plant"/

Expressing that these classes are disjoint would require
to repeat either known information (e.g. that these are classes)
or new information. As in:

<daml:Disjoint rdf:parseType="daml:collection">
   <rdfs:Class rdf:about="#Car"/>
   <rdfs:Class rdf:about="#Person"/>
   <rdfs:Class rdf:about="#Plant"/>

An item construct does avoid the repetition of information.

All the best,


>The latest version is in the usual place:
>I am currently working to update the changes file - I will mail again
>when that is in place.

This archive was generated by hypermail 2.1.4 : 04/02/02 EST