From: Deborah Mcguinness (dlm@ksl.stanford.edu)
Date: 01/10/01
thanks for the work - this looks great. are you also updating changes.html so that the daml parser writers can use that as a guide on what needs changing from their work on daml-ont? also, i will get the pointer from ora for his new survival guide. thx, d Frank van Harmelen wrote: > Dear Joint-all, > > After the teleconf last night I implemented all of the required changes in the example, the walkthrough and the reference document. > > You can find them in the usual location: <http://www.cs.vu.nl/~frankh/spool/DAML+OIL> > > As usual, hunt for the dark grey-matter :-), since that is were the changes are: > > 1. implemented all comments from everybody last week (thanks to all for the careful and often inspired reviewing) > 2. implemented Jessica's fix to the namespace bug (example & walkthrough) > 3. added an explanation on the collection-construction (reference document) > 4. explained the non-difference between ID= & about= (walkthrough) > 5. removed restrictedBy in favour of subClassOf (all files, code & text) > > Some specific points: > > All: I consider these documents ready for release (modulo removing the do-it-yourself versioning-by-colour-scheme, of course), so speak now or... > > Dan: I would appreciate if you could inspect point [3], at http://www.cs.vu.nl/~frankh/spool/DAML+OIL/reference.html#collection > > Jeff: can you supply me with explanatory text on the imports element? > > Mike: contact me if you want the versioning-free versions. > > Ora/Deb: can you point to the new RDF survival guide that Ora wrote? > > Point [5] has really made the language very much nicer. I was struck by the elegant symmetry that now exists between: > > <Class ID="C1"> > <subClassOf> > <Restriction> > some property constraint > </Restriction> > </subClassOf> > </Class> > > and > > <Class ID="C2"> > <sameClassAs> > <Restriction> > some property constraint > </Restriction> > </sameClassAs> > </Class> > > for stating necessary-only or necessary-and-sufficient conditions on a class. Pretty. > > Frank. > ----
This archive was generated by hypermail 2.1.4 : 04/02/02 EST