- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Thu, 8 Feb 2007 22:56:31 +0100
- To: "'Christian de Sainte Marie'" <csma@ilog.fr>, "'RIF WG'" <public-rif-wg@w3.org>
> I have two difficulties with the diagram for the RIF > Condition Language: > - I added an "Equation" class because I needed something to which the > two terms in an equality literal would be attached; Yes, that's correct. > - I do not know how to show that an Expr is either an Atom or a Term. > Actually, I wonder if it even makes sense to have something > like this in a meta-model. Why not, it is just an abstract syntax spec. > Anyway, what I did, in the diagram, is that I made Expr > both a sub-class of Atom and Term; which is wrong, of course... No, on the contrary, it's right! -Gerd
Received on Thursday, 8 February 2007 21:56:37 UTC