Re: log:conclusion confusion

On 21/10/2020 01:11, Gregg Kellogg wrote:
> Hi, I’ve been struggling with log:conclusion just running the conclusion-simple.n3 test (https://w3c.github.io/N3/tests/N3Tests/cwm_includes/conclusion-simple.n3)
>
> {{<a> <b> <c>}=>{<test> a <SUCCESS> }.
>   <a> <b> <c>.
> }   a :TestRule.
>
> {   ?x a :TestRule; log:conclusion ?y }  => { ?y a :TestResult }.
>
> It seems to me that the conclusion would be the inferred triple contained in a formula:
>
> {
>   <test> a <SUCCESS> .
> } a :TestResult .
>
> However, CWM seems to include the inferred triple within the context of the premise:
>
> {
>   <a> <b> <c> .
>   <test> a <SUCCESS> .
>   {<a> <b> <c> .} => {<test> a <SUCCESS> .} .
> } a :TestResult .
EYE does the same.
> In my opinion, the conclusion would just contain the implied triple, 

That's the thing: all triples originally present in the formula /are
implied/ by the formula...

  best

> but that seems to be at odds with convention. This also calls into question may other tests where the result is filtered to include just the conclusions from running rules in the store, rather than the store plus the conclusions. I think this needs a more formal description.
>
> The conclusion.n3 test is more complicated, as it concludes the conjunction of the semantics of several other files, so the result would seem to be subject to further reasoning based upon those semantics.
>
> Gregg Kellogg
> gregg@greggkellogg.net
>
>