Re: DAML+OIL (March 2001), CVS

From: Peter F. Patel-Schneider (
Date: 03/05/01

From: Richard Fikes <fikes@KSL.Stanford.EDU>
Subject: Re: DAML+OIL (March 2001), CVS
Date: Mon, 05 Mar 2001 14:29:21 -0800

> > I just read over the axiomatization and I am rather disappointed.  I was
> > hoping that there would be at least the beginnngs of a treatment of some
> > issues having to do with XML Schema datatype.  However no mention of XML
> > can be found in the document at all.  In fact, there is no treatment of
> > datatypes at all!
> Point taken.  We only had a few hours last week to devote to updating
> the axioms and wanted to make sure that an updated version was ready to
> include with the new language release.  So, we opted to make the changes
> in the axioms that corresponded to the changes in the DAML+OIL spec.  I
> think we did that and we will fix right away any bugs in the axioms that
> are deviations from the new spec.  Axiomatizing XML data types needs to
> be done and is on our "to do" list.  However, I have not yet looked at
> the XML data types spec and so have no idea how difficult or well
> defined that task is.  Comments on that issue are welcomed.  Peter, did
> you specify a denotational semantics for the XML data types?

The advantage of a less-formal method of specifying semantics is that I can
just wave my magic wand and say, ``Include the XML Schema datatype stuff.''


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