Solid dialogical reasoning

[josd]

Exercise a query answer loop between a web browser and a web reasoner.

Actors/actresses

A web browser and a web reasoner.

Preconditions

The web reasoner is running with appropriate background knowledge in multi query mode via a websocket.

Steps

• send the uri of the query whereby the triples in the background knowledge can be consumed and produced as resources
• get the answer
• repeat till all the queries are posed

Postconditions

The web reasoner is running with updated background knowledge in multi query mode via a websocket.

[josd]

This is also a possible scenario for a Solid streaming reasoning use case.

[josd]

There is a working test scenario at https://github.com/eyereasoner/eye/tree/multiquery/reasoning/dialogical-reasoning

[pheyvaer]

@josd

Repeat till all the queries are posed

What does "posed" mean here?

[josd]

https://translate.google.com/?hl=en&sl=auto&tl=nl&text=Repeat%20till%20all%20the%20queries%20are%20posed&op=translate

[pheyvaer]

If I understand correctly all queries are given at the start and it's not that new queries are discovered at runtime?

[josd]

Well, this has to be clarified: at this moment it is a (in)finite series of fixed queries but we can also involve additional reasoning to generate queries like is done in https://github.com/josd/eye/tree/master/reasoning/qgen

[pheyvaer]

@RubenVerborgh What changes would you like to see here?

[RubenVerborgh]

We'd need a concrete case that should work (to estimate the complexity of the dialog).

[pheyvaer]

@josd Can you add an concrete use case as Ruben mentions?

[josd]

So this was intended as a scenario #22 (comment) and not as a concrete use case.

[pheyvaer]

It is marked as a scenario, so that is fine. But a scenario still needs a use case though.

[josd]

As you see in the original description #22 (comment) it was really meant as a test case scenario and not as a use case scenario.
There is a working test scenario at https://github.com/josd/eye/tree/master/reasoning/dialogical-reasoning