Solid dialogical reasoning

josd commented 2 years ago

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 commented 2 years ago

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

josd commented 2 years ago

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

pheyvaer commented 2 years ago

@josd

Repeat till all the queries are posed

What does "posed" mean here?

josd commented 2 years ago

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

pheyvaer commented 2 years ago

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

josd commented 2 years ago

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 commented 2 years ago

@RubenVerborgh What changes would you like to see here?

RubenVerborgh commented 2 years ago

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

pheyvaer commented 2 years ago

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

josd commented 2 years ago

So this was intended as a scenario https://github.com/SolidLabResearch/Challenges/issues/22#issue-1185522078 and not as a concrete use case.

pheyvaer commented 2 years ago

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

josd commented 2 years ago

As you see in the original description https://github.com/SolidLabResearch/Challenges/issues/22#issue-1185522078 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

SolidLabResearch / Challenges