issues
search
SolidLabResearch
/
Challenges
24
stars
0
forks
source link
Trusted query and reasoning over permissioned versioned data
#57
Open
RubenVerborgh
opened
2 years ago
RubenVerborgh
commented
2 years ago
Actors/actresses
Application Power User U
Preconditions
The user U is logged in
There are 5 pods, one of which belongs to U
The other 4 pods belong to friends of U, which are linked to from U's profile document
Each of the 5 Pods contain 10
foaf:Person
instances that are readable by U
Each of the 4 other pods also contain 5 additional
foaf:Person
instances not readable by U
Steps
U executes a SPARQL query that selects
schema:Person
from "my pod and those of my friends"
Postconditions
The query yields 50
schema:Person
results
A proof is generated that each of those 50 results are correct at the given point in time
A proof is generated that there are no other results
People of interest
@josd @rubensworks @jeswr
Actors/actresses
Preconditions
foaf:Person
instances that are readable by Ufoaf:Person
instances not readable by USteps
schema:Person
from "my pod and those of my friends"Postconditions
schema:Person
resultsPeople of interest
@josd @rubensworks @jeswr