Proof based maintenance of linked data

Abstract

With the recent uptake on the linked open data on the Web, there are many interlinked data sets on the Web today. Interesting results that might not be obvious from this raw data itself, can be derived by computing answers to rules using the data and essentially connecting the dots to see the big picture. We describe a novel method to crawl the Web of data and make inferences that satisfy rules of a particular domain and to reinject the derived conclusions, along with the traces of computation, back into the read-write Web. We have developed a “Computation Agent” to do this using rules written in a formal Semantic Web rule language, and a user interface for viewing the data which includes the derived conclusions along with the justification.

Cite this paper

@inproceedings{Lu2009ProofBM, title={Proof based maintenance of linked data}, author={Kanghao Lu}, year={2009} }