[Profile picture of Ruben Verborgh]

Ruben Verborgh

Chapter 5 – Proof

Serendipitous Web Applications through Semantic Hypermedia

Proofs justify how we arrived at a conclusion given a set of facts and rules that we’re allowed to apply. On the Semantic Web, a proof lets a machine explain precisely how it obtained a certain result. Although usually reserved for static data, in this chapter, proofs will play a crucial role in the dynamic world of Web APIs. With some creativity, they can guarantee the correctness of a composition of several Web APIs before its execution, and even serve as an efficient method to automatically create such compositions.

The Web page version of this chapter will be available soon.
In the meantime, you can read this chapter in the PDF version.

Comments and questions