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 C29EReceived 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