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

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 UTC