Re: working on "A Model of Authority in the Web"

On Fri, 2009-12-18 at 01:01 +0100, jos.deroo@agfa.com wrote:
> Very much fun stuff indeed... 

:)

> worked out of the box and spits out a few 100 lines of proof ending
> with 
> 
>  r:gives { 
>   _:sk1 owl:differentFrom _:sk1. 
>   <http://penguin-house.example/2008/article2> owl:differentFrom
> <http://penguin-house.example/2008/article2>. 
>   <#Bob> owl:differentFrom <#Bob>. 
>  }]. 
> 
> #ENDS 160 msec 

I'm interested to look at the proof using check.py --report,
which produces reStructuredText, which I can then convert
to an HTML table. Maybe you could send it as an attachment?


> Eye does bnode to univar rewriting in the rule premis and that
> rewritten form is used in the proof.. 
> Apart from that, check.py should now be happy with the proof, be it
> that it is a bit redundant 
> i.e. up to 518 steps 
> 
>    * - 518 
>      - @forSome :_g0 . xx:Bob owl:differentFrom xx:Bob .
> <http://penguin-house.example/2008/article2> owl:differentFrom
> <http://penguin-house.example/2008/article2> . :_g0
> owl:differentFrom :_g0 . 
>      - conjoining steps (169, 338, 517) 
>      - 

Ah... so you're already using check.py --report .
Send me that too?

>   
> versus 144 in your http://www.w3.org/2001/tag/dj9/badmeta-pf.html 
> 
> which I am running right now, but still waiting for a cwm result..
> i.e. I started 
> cwm
> http://www.w3.org/2001/tag/dj9/badmeta.n3http://www.w3.org/2001/tag/dj9/speech.n3http://www.w3.org/2001/tag/dj9/httpspeech.n3http://www.w3.org/2001/tag/dj9/time.n3http://www.w3.org/2001/tag/dj9/owl2.n3http://www.w3.org/2000/10/swap/util/owlth.n3http://www.w3.org/2000/10/swap/util/rdfs-nice.n3--solve=http://www.w3.org/2001/tag/dj9/contradiction.n3 --why 
> more than 40 minutes ago 

40 minutes?! It only takes about 10 or 15 seconds, here.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Friday, 18 December 2009 04:49:56 UTC