Re: Layering LX (or FOL) on RDF

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Tue, 27 Aug 2002 06:17:55 -0400 (EDT)
• To: sandro@w3.org
• Cc: www-rdf-interest@w3.org
• Message-Id: <20020827.061755.08241067.pfps@research.bell-labs.com>

From: Sandro Hawke <sandro@w3.org>
Subject: Re: Layering LX (or FOL) on RDF 
Date: Tue, 27 Aug 2002 04:13:49 -0400

[...]

> Do you have more thoughts on meat of the previous message, clarifying
> whether we can do same-syntax semantic extension from RDF to FOL?

I thought that I was clear.  It depends.  :-)

If you forbid self-reference, then it is possible.  If you don't correctly
capture FOL entailment, then it is possible.  If you extend the syntax of
RDF, then it is possible.  If you don't use RDF semantics for RDF triples,
then it is possible.

What it depends on is whether you think any of these violates what a
same-syntax semantic extension of RDF is.

>     -- sandro

peter

Received on Tuesday, 27 August 2002 06:18:04 UTC