Re: including labels and comments in the ``definition'' of DAML+OIL

From: Dan Connolly (
Date: 10/02/01

"Peter F. Patel-Schneider" wrote:
> Hi:
> I'm proposing that the official RDFS introductions in DAML+OIL
> (daml+oil.daml) be stripped of all the labels, comments, etc.  This would
> mean that they would not have to show up the model theory for DAML+OIL.
> Comments?

Er... I could live without the comments... they say
more than they should, given the level of review they get...
but the labels seem worthwhile.

I don't understand how the contents of daml+oil.daml has
any impact on the DAML model theory.

Dan Connolly, W3C

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