W3C home > Mailing lists > Public > public-rif-wg@w3.org > July 2008

Re: DTB semantics for PRD

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 29 Jul 2008 18:42:46 +0200
Message-ID: <488F4886.6040008@ilog.fr>
To: kifer@cs.sunysb.edu
CC: RIF WG Public list <public-rif-wg@w3.org>

Michael Kifer wrote:
> In fact, I think the semantics of the condition formulas in BLD could be used
> in the same way as above to make a stronger connection between PRD and BLD. The
> only major thing in BLD that is not applicable to PRD is the semantics for the
> PRD rules.

Well, that is basically what I had in mind when I wrote the first 
version of the semantics for PRD...

But, then, you (and others) told me that it was an abomination to mix 
model theoretic and operational semantics in such a way, so, I just 
melted out of shame, retracted, confessed, and started again from 
scratch (not that the second try was any more successful, but tha's a 
different story).

Now, I am a bit afraid: if I try to do something like that again, wont I 
be burnt at the stake for heresy and relapse?


Received on Tuesday, 29 July 2008 16:42:05 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:51 UTC