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

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

• Next message: Peter F. Patel-Schneider: "more on daml+oil.daml"
• Previous message: Peter F. Patel-Schneider: "an RDFS-aware model theory for DAML+OIL"
• Next in thread: Dan Connolly: "Re: including labels and comments in the ``definition'' of DAML+OIL"
• Reply: Dan Connolly: "Re: including labels and comments in the ``definition'' of DAML+OIL"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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?

peter

• Next message: Peter F. Patel-Schneider: "more on daml+oil.daml"
• Previous message: Peter F. Patel-Schneider: "an RDFS-aware model theory for DAML+OIL"
• Next in thread: Dan Connolly: "Re: including labels and comments in the ``definition'' of DAML+OIL"
• Reply: Dan Connolly: "Re: including labels and comments in the ``definition'' of DAML+OIL"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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