Re: A Single Foundational Logic for the Semantic Web

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