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

Re: DTB semantics for PRD

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Tue, 29 Jul 2008 13:24:25 -0400
To: Christian de Sainte Marie <csma@ilog.fr>
Cc: RIF WG Public list <public-rif-wg@w3.org>
Message-ID: <20080729132425.3d6b4ed6@kiferserv>



On Tue, 29 Jul 2008 18:42:46 +0200
Christian de Sainte Marie <csma@ilog.fr> wrote:

> 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).

The trick is to put the words in the right order :-)

> 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?

Not burned at stake, but you will be tortured until you get it right :-)

michael


> :-)
> 
> Christian
Received on Tuesday, 29 July 2008 17:25:01 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:52 GMT