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