W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2007

RE: [Core] Class diagram of the Core meta-model

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>
Message-ID: <004601c74bcb$fe6821b0$a2ca2b8d@informatik.tucottbus.de>

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

Received on Thursday, 8 February 2007 21:56:37 UTC

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