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. peterReceived on Thursday, 20 December 2001 13:32:50 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 22 March 2009 03:38:26 GMT