Re: Next steps (Action: all)

From: Guus Schreiber <schreiber@swi.psy.uva.nl>
Subject: Next steps (Action: all)
Date: Mon, 25 Feb 2002 23:51:53 +0100

[...]

>   3. Semantics: As evidenced by the layering discussion, developing
> the semantic model for the language (mandated by our charter) is not
> easy, but needs to be done.  We expect to produce both a model theory
> and an axiomization similar to the ones prepared for DAML+OIL.

Well there has been work done on the layering issues, but it seems to have
been put off and put off again from the agenda.  Therefore, I would like to
have an agenda item for next week on the layering issue.

peter

Received on Thursday, 28 February 2002 13:41:51 UTC