Re: A few comments on the new DAML-OIL spec

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 03/08/01


From: Ian Horrocks <horrocks@cs.man.ac.uk>
Subject: Re: A few comments on the new DAML-OIL spec
Date: Thu, 8 Mar 2001 16:45:16 +0000 (GMT)

> On March 8, Peter F. Patel-Schneider writes:
> > I changed two files as follows and checked them back in
> > 
> > model-theoretic-semantics.html
> > 	Add sameIndividualAs and differentIndividualFrom
> > 	Fix <tt> tag
> > 
> > daml+oil.daml
> > 	Add sameIndividualAs and differentIndividualFrom
> > 	Fix pointers to nonNegativeInteger
> > 	Fix comment for UnambiguousProperty
> > 
> > There was already an attempted fix for nonNegativeInteger but it didn't
> > have .xsd and also had the wrong month.  I think that everything is correct
> > now.
> 
> You are right w.r.t. the month but I'm not sure about .xsd - both
> http://www.w3.org/2000/10/XMLSchema and http://www.w3.org/2000/10/XMLSchema.xsd
> seem to point to the same file. If .xsd is correct then
> daml+oil-ex-dt.daml also needs updating.

Hmm.  Does anyone have an authoritative answer?

peter


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