Issue formulation from Michael Kifer on 2007-03-13 (public-rif-wg@w3.org from March 2007)

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Tue, 13 Mar 2007 17:41:42 -0400
To: public-rif-wg@w3.org (RIF WG)
Message-ID: <16879.1173822102@cs.sunysb.edu>

I was supposed to send around a formulation for the issue about the
disjointness of predicates/functions/constants. Here is goes:

Issue: Should the names for predicates, functions, and constants be
	distinct in RIF Core? This constraint will be allowed to be removed
	in RIF dialects.
	


	--michael

Received on Tuesday, 13 March 2007 21:43:17 UTC