The pragmatic proof: Hypermedia API composition and execution

DOI10.1017/S1471068416000016zbMath1379.68018arXiv1512.07780OpenAlexW3106502556WikidataQ57339078 ScholiaQ57339078MaRDI QIDQ4593077

Joaquim Gabarró, Jos de Roo, Dörthe Arndt, Sofie Van Hoecke, Thomas Steiner, Giovanni Mels, Ruben Verborgh

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1512.07780

zbMATH Keywords

reasoningcompositionsemantic webhypermedia APIsweb APIs

Mathematics Subject Classification ID

Internet topics (68M11)

Uses Software

• N3Logic
• Jena
• Data-Fu
• DBpedia
• Graal

Cites Work

• Unnamed Item
• Unnamed Item
• Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29--30, 2011. Proceedings
• On rules with existential variables: walking the decidability line
• Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16--19, 2010. Revised selected papers
• Web reasoning and rule systems. Second international conference, RR 2008, Karlsruhe, Germany, October 31--November 1, 2008. Proceedings
• N3Logic: A logical framework for the World Wide Web
• Making prolog more expressive
• A Deductive Approach to Program Synthesis
• Logical foundations of object-oriented and frame-based languages
• Query Rewriting and Optimization for Ontological Databases

This page was built for publication: The pragmatic proof: Hypermedia API composition and execution