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.

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 UTC