- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Tue, 15 Apr 2008 12:20:36 -0400
- To: Christian de Sainte Marie <csma@ilog.fr>
- Cc: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>, 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 I think that equality among external terms should *not* be allowed, since it cannot be tested anyway (definition of an external term is a black box to a rif document, by definition). For instance, one could write External(t) = External(s) but these two externals' black boxes might not be equal, and the reasoner will have no way of testing that. --michael
Received on Tuesday, 15 April 2008 16:21:36 UTC