> 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. I see > 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. I think that complementOf is an irreflexive property How could we express that in SWOL? -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Thursday, 20 December 2001 19:02:41 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 22 March 2009 03:38:26 GMT