Re: TEST, SEM: test cases for dark triples

[...]

> However, in the following situation
>
> i p o1.
> o1 a C1 .
>
> the rule
>
> { ?s ?p ?o . ?o a ?C } log:implies { ?s a [ owl:restrictionOf ( ?p ?C ) ] } .
>
> produces
>
> i a  [ owl:restrictionOf ( p C1 ) ] .
>
> This is definitly *not* what would follow from a standard DL value
> restriction.

I completely agree and drop that rule *immediately*
and just keep

{ ?s ?p ?o . ?s a [ owl:restrictionOf ( ?p ?C ) ] } log:implies { ?o a ?C } .

--
Jos