- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Tue, 27 Feb 2007 15:08:56 +0100
- To: <giurca@TU-Cottbus.De>, "'Dave Reynolds'" <der@hplb.hpl.hp.com>
- Cc: "'RIF WG'" <public-rif-wg@w3.org>
> Second, just considering Symbols I don't see how this resolves the > divergence between the metamodel reading and the abstract syntax > reading. Your BNF suggests that you intend this to have an > abstract syntax reading but I don't think we are saying that a > Symbol used in a predicate position (for example) would have > an ASort specification inline in the syntax at the point of use > (at least I hope not). This hope of yours shows that RIF needs, in addition to the rule metamodel (which doesn't associate types/sorts with "Uniterms"), a vocabulary metamodel, which provides such an association of types/sorts to functions and predicates/atoms. How can we define a RIF Core that includes function and predicate symbols and a Sorted/Typed Logic semantics without including the underlying vocabulary (providing the type/sort information)? -Gerd
Received on Tuesday, 27 February 2007 14:09:25 UTC