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: Mon, 29 Apr 2002 22:22:16 -0400

> > 
> > [...]
> > 
> > > Perhaps I'm misreading it; if someone can present a
> > > paradox using only log:forSome, log:forAll, and log:implies, then I
> > > think I (and I'll venture TimBL and others) will be very interested.
> > > [Hrm, I guess you'll have trouble until an n3->n-triples conversion is
> > > written down.  It's in public e-mail between me and Tim; I'll dig it
> > > up if anyone seriously wants to try.  The idea is to use
> > > log:Conjunction and daml:List to assemble an n3 Formula.]
> > 
> > [...]
> > 
> > You have to be more precise here.  If *all* I can use is
> > log:forSome, log:forAll, and log:implies then I can't even make any
> > statement (because I don't have the . to finish the statement).
> 
> [ quiet curses at this medium, where the reply chains always come from
> the parts of my e-mail which are the least well explained...  but I
> guess that's why the reply chains come from there.... ]
> 
> I'm sorry for getting you interested and not giving you proper
> information.   I really didn't expect anyone to take that part of my
> message so seriously so quickly.  
> 
> 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],
> but more of the community seems comfortable with n3/cwm, so let's
> stick to that.  I'm going to try to restrict their imprecises
> semantics for quantification to something cleaner.  Alas, you seem to
> have looked at an out-of-date version of cwm's logic (if Falsehood was
> still there), not the one I linked from my first message in this chain
> [2].  Can you tell me where you saw log:Falsehood?

n3:Falsehood is in http://www.w3.org/DesignIssues/Notation3.html

Received on Tuesday, 30 April 2002 08:27:52 UTC