Re: UPDATE: initial message concerning syntax

One place to see the problem is in KIF.  The KIF definition
	http://logic.stanford.edu/kif/dpans.html
gives an example where a truth predicate can cause problems.

In the DAML+OIL area, if you require the presence of all syntax-like
constructs in the semantics you can easily end up with structures like

	:_x complementOf :_x .

in all interpretations.  Now consider whether :_x is an instance of :_x.

peter

Received on Thursday, 20 December 2001 13:32:50 UTC