From: Peter F. Patel-Schneider ([email protected])
Date: 03/05/01
From: Richard Fikes <[email protected]>
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.''
:-)
peter
This archive was generated by hypermail 2.1.4 : 04/02/02 EST