On Mon, Mar 12, 2012 at 3:00 PM, Andy Seaborne <[email protected]> wrote:
> On 12/03/12 16:55, Paul Gearon wrote:
>>
>> Hi,
>
>
> Hi Paul,
>
> Thanks for the report.
>
> Could you say something about the data, e.g. how much, or, ideally, make a
> copy of the test data available so as similar a setup as yours can be
> created?
I've attached the data mentioned in my previous email. The tests
involve loading one-step.ttl into data:input, running the operations,
then dropping the graph. Then two-step.ttl is loaded into data:input
with the same URI, the operations tried again, and the graph dropped.
The same for the three-step.ttl. The errors described usually start
showing up in the third case.
You probably already know, but the task at hand is a set of unit tests
for a RIF processor. The rules for the third test case look like:
Forall ?x ?y ?z (
ex:parentOf(?z ?y) :- And(
ex:siblingOf(?x ?y)
ex:parentOf(?z ?x)
)
)
Forall ?x ?y ?z (
ex:parentOf(?x ?z) :- And(
ex:spouseOf(?x ?y)
ex:parentOf(?y ?z)
)
)
You can probably figure out the mapping of these into SPARQL
operations, but ask if anything doesn't make sense.
Regards,
Paul Gearon
