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

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

From: Dan Connolly <connolly@w3.org>
Date: Sat, 10 Jun 2006 21:35:25 -0500
To: jos.deroo@agfa.com
Cc: public-cwm-talk@w3.org
Message-Id: <1149993325.14908.177.camel@dirk.w3.org>

On Sat, 2006-06-10 at 20:32 +0200, jos.deroo@agfa.com wrote:
[...]
> > 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)

Ah... good... that was quick! I thought the r:source
issue was going to be hard.

>  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

Yes, quite!

Hmm... as you said earlier, the Inference steps in those
proofs don't explicitly give bindings. I wonder why check.py
thinks that's OK. I'll have to look into whether that's
a feature or a bug.

I see lots of stuff that needs more testing...

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Sunday, 11 June 2006 02:35:30 GMT

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