W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2002

Re: A Single Foundational Logic for the Semantic Web

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 30 Apr 2002 08:50:21 -0400
To: sandro@w3.org
Cc: phayes@ai.uwf.edu, www-rdf-logic@w3.org
Message-Id: <20020430085021D.pfps@research.bell-labs.com>
From: Sandro Hawke <sandro@w3.org>
Subject: Re: A Single Foundational Logic for the Semantic Web 
Date: Tue, 30 Apr 2002 07:06:43 -0400

[...]

> I see several different styles of Horn logics for RDF.  I think the
> kind I'm most comfortable with is typified by this example of mine
> [1], where every logical expression is reified, but more of the
> community seems comfortable with n3/cwm where many expressions (like
> "<x> implies <y>.") occur directly as triples.  Let's stick to the
> more popular form for now.

[...]

It appears to me that you are *not* using a Horn logic here.  Horn logics
allow for rules of the form

      a ^ b ^ ... ^ n -> false

which you do not appear to allow.

peter
Received on Tuesday, 30 April 2002 08:51:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:42 GMT