Länkade data ger några förnuftiga riktlinjer för publicering och konsumtion av data på webben. Data som publiceras på webben har ingen inneboende sanning, men dess kvalitet kan ofta bedömas utifrån dess härkomst. Genom detta arbete införs en ny metod för härkomst för länkade data. Det enklaste begreppet härkomst -viz., en namngiven graf som anger var data är nu - utvidgas med en rikare härkomst format. Formatet återspeglar beteendet hos processer som interagerar med länkade data, spårar var uppgifterna har publicerats och vem som har publicerat dem. En körbar modell presenteras baserad på abstrakt syntax och operationell semantik, vilket ger ett bevis på koncept och metoder för att statiskt utvärdera härkomstdriven åtkomstkontroll med hjälp av ett typsystem.
I REF studerar författarna härkomsten för länkade data och introducerar en maskinskriven analys för modellering av interaktion mellan processer och länkade data, spårning av var data har publicerats och vem som har publicerat den.
Tracing where and who provenance in Linked Data: A calculus
{'venue': 'Theor. Comput. Sci.', 'journal': 'Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}