- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Tue, 15 Apr 2008 16:53:47 +0200
- To: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
- CC: RIF WG <public-rif-wg@w3.org>
Boley, Harold wrote: > >>- section 2.2: Equality, class membership, subclass and frame terms >>allow only simple, positional and named-argument terms where individuals >>are expected: shouldn't external terms be allowed as well? > > They are already listed here: > > http://www.w3.org/2005/rules/wiki/BLD#Terms No, I meant: in "# Equality terms. If t and s are simple, positional, or named-argument terms then t = s is an equality term.", shouldn't t and s be allowed to be external terms as well (same for #, ## and frame)? Christian
Received on Tuesday, 15 April 2008 14:54:41 UTC