A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised in a process calculus. An operational semantics for the calculus specifies how queries, data and processes interact. A labelled transition system is shown to be sound with respect to the operational semantics. Bisimulation over the labelled transition system is used to verify an algebra over queries. The derived algebra is a contribution to the appli...
Abstract The Web of Linked Data is composed of tons of RDF documents in-terlinked to each other form...
AbstractWe introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. We...
AbstractPeer-to-peer systems provide a simple and effective platform for data integration on the Int...
The aim of this work is to verify an algebra for high level languages for reading and writing Linked...
The aim of this work is to verify an algebra for high level languages for reading and writing Linked...
This work addresses a gap in the foundations of computer science. In particular, only a limited numb...
The term Linked Data is used to describe ubiquitous and emerging semi-structured data formats on the...
Linked Data Management presents techniques for querying and managing Linked Data that is available o...
Abstract—The publication of Linked Open Data on the Web has gained tremendous momentum over the last...
The Web of Linked Data is composed of tons of RDF documents interlinked to each other forming a huge...
This work addresses a gap in the foundations of computer science. In particular, only a limited numb...
AbstractPeer-to-peer systems exchanging dynamic documents through web services are a simple and effe...
With linked data, a very pragmatic approach towards achieving the vision of the semantic web has gai...
The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in ...
The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in ...
Abstract The Web of Linked Data is composed of tons of RDF documents in-terlinked to each other form...
AbstractWe introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. We...
AbstractPeer-to-peer systems provide a simple and effective platform for data integration on the Int...
The aim of this work is to verify an algebra for high level languages for reading and writing Linked...
The aim of this work is to verify an algebra for high level languages for reading and writing Linked...
This work addresses a gap in the foundations of computer science. In particular, only a limited numb...
The term Linked Data is used to describe ubiquitous and emerging semi-structured data formats on the...
Linked Data Management presents techniques for querying and managing Linked Data that is available o...
Abstract—The publication of Linked Open Data on the Web has gained tremendous momentum over the last...
The Web of Linked Data is composed of tons of RDF documents interlinked to each other forming a huge...
This work addresses a gap in the foundations of computer science. In particular, only a limited numb...
AbstractPeer-to-peer systems exchanging dynamic documents through web services are a simple and effe...
With linked data, a very pragmatic approach towards achieving the vision of the semantic web has gai...
The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in ...
The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in ...
Abstract The Web of Linked Data is composed of tons of RDF documents in-terlinked to each other form...
AbstractWe introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. We...
AbstractPeer-to-peer systems provide a simple and effective platform for data integration on the Int...