W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2006

Re: reason proof ontology details [was: ... interoperating]

From: <jos.deroo@agfa.com>
Date: Sat, 10 Jun 2006 20:32:57 +0200
To: connolly@w3.org
Cc: public-cwm-talk@w3.org
Message-ID: <OF18DBD91F.8E48CE83-ONC1257189.0065116F-C1257189.0065DBD9@agfa.com>
Dan Connolly wrote:
> On Sat, 2006-06-10 at 01:09 +0200, jos.deroo@agfa.com wrote:
> [...]
> > > 1. add a r:Proof on the ultimate step
> > 
> > That was fixed last Sunday and the actual etc5.ref is at
> > http://eulersharp.sourceforge.net/2006/02swap/etc5.ref 
>
> Ah... yes.
>
> Looking over that, I see...
>
>     [ a r:Extraction; r:gives {(1 1) math:sum 2}; r:because [ a 
r:Parsing; r:gives _:kb20]]
>
> But that 1+1=2 formula is actually not the result of parsing a file.
> The reason ontology calls that a r:Fact. Is that an easy
> change to make?

This is now done and also the r:source is fixed
(via quads) and it is so nice to see the check.py for

http://eulersharp.sourceforge.net/2006/02swap/socratesE.n3
http://eulersharp.sourceforge.net/2006/02swap/graphE.n3
http://eulersharp.sourceforge.net/2006/02swap/medE.n3
http://eulersharp.sourceforge.net/2006/02swap/gedcomE.n3
http://eulersharp.sourceforge.net/2006/02swap/exonE.n3

and giving


Wow... and indeed

> This is pretty exciting... we're getting closer
> and closer to filling in the top of the layer
> cake...
>
> "If there is a semantic web machine, then it is a proof validator, not a
> theorem prover."
>   -- http://www.w3.org/DesignIssues/Logic.html
>      (1st appeared in an Apr 2000 draft)

Thanks and have a nice weekend!

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Saturday, 10 June 2006 18:33:13 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT