TL;DR
This paper presents a proof-based approach for composing and executing hypermedia APIs using semantic descriptions and reasoners, enabling dynamic, goal-driven interactions at Web scale.
Contribution
It introduces a novel method to generate and verify hypermedia API compositions through semantic proofs, facilitating runtime navigation and interaction.
Findings
Proof-based composition is feasible at Web scale.
Semantic descriptions enable dynamic API navigation.
Reasoner performance is validated on various tasks.
Abstract
Machine clients are increasingly making use of the Web to perform tasks. While Web services traditionally mimic remote procedure calling interfaces, a new generation of so-called hypermedia APIs works through hyperlinks and forms, in a way similar to how people browse the Web. This means that existing composition techniques, which determine a procedural plan upfront, are not sufficient to consume hypermedia APIs, which need to be navigated at runtime. Clients instead need a more dynamic plan that allows them to follow hyperlinks and use forms with a preset goal. Therefore, in this article, we show how compositions of hypermedia APIs can be created by generic Semantic Web reasoners. This is achieved through the generation of a proof based on semantic descriptions of the APIs' functionality. To pragmatically verify the applicability of compositions, we introduce the notion of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
