- 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
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 UTC