W3C home > Mailing lists > Public > www-rdf-interest@w3.org > August 2002

Re: Layering LX (or FOL) on RDF

From: Seth Russell <seth@robustai.net>
Date: Tue, 27 Aug 2002 15:03:31 -0700
Message-ID: <014401c24e15$956996c0$657ba8c0@c1457248a.sttls1.wa.home.com>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <www-rdf-interest@w3.org>

From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
> From: "Seth Russell" <seth@robustai.net>
> > From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>

> > I don't understand your paragraph.   p is not a formula ... can never be
> > formula, in my view.  Doesn't "p" just identify a node or represent a
> > resource?  {p negation ~p} is a formula.
> I don't understand how p cannot be a formula.  Primitive propositions are
> formulae, and they seem to be naturally represented by resources.

Ok, sorry, I was thinking about 'not' in the sense that the world is divided
into penutbutter and not penutbutter.   Here is a graph that is more what we
are talking about:


> What is the connection between this and RDF?  I don't see any, and the
> point of this discussion is representing logic in RDF.

I can write all of those graphs in RDF.  For example Figure C is


    <rdf:Description rdf:about="">
        <ex:negates rdf:resource=""/>

> Well, lots, including the fact that the arrows are not RDF statements, as
> they are more than triples.

Within one document, all the arrows are triples.  To express multiple
formula, we need to use multiple RDF documents.

> Well the problem is that if you make this formula belong to pl:Falsity,
> then the rules of logic say that it must belong to pl:Truth, and the rules
> of logic also say that pl:Truth and pl:Falsity are disjoint.  Similarly,
> you make it belong to pl:Truth, then the rules of logic say that it must
> belong to pl:Falsity.  So no matter what you do, you get into a bind.

Yes, I agree.  <http://robustai.net/sailor/paradox.rdf> is a paradox and
should excluded from all graphs that purports to be binarialy logical.

Seth Russell
Received on Tuesday, 27 August 2002 18:04:10 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:38 UTC