W3C home > Mailing lists > Public > www-archive@w3.org > December 2001

Re: UPDATE: initial message concerning syntax

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 21 Dec 2001 01:00:33 +0100
To: pfps@research.bell-labs.com
Cc: las@olin.edu, phayes@ai.uwf.edu, jjc@hplb.hpl.hp.com, Frank.van.Harmelen@cs.vu.nl, horrocks@cs.man.ac.uk, mdean@bbn.com, lynn.stein@olin.edu, www-webont-wg@w3.org, www-archive@w3.org, hendler@cs.umd.edu, connolly@w3.org
Message-Id: <OFD533443B.C215AFB4-ONC1256B28.00833464@bayer-ag.com>

> 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 : Wednesday, 7 November 2012 14:17:15 GMT