{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T10:11:21Z","timestamp":1769508681782,"version":"3.49.0"},"reference-count":65,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T00:00:00Z","timestamp":1457308800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2017,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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 paper, 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 pre-execution and post-execution proofs. The runtime interaction between a client and a server is guided by proofs but driven by hypermedia, allowing the client to react to the application's actual state indicated by the server's response. We describe how to generate compositions from descriptions, discuss a computer-assisted process to generate descriptions, and verify reasoner performance on various composition tasks using a benchmark suite. The experimental results lead to the conclusion that proof-based consumption of hypermedia APIs is a feasible strategy at Web scale.<\/jats:p>","DOI":"10.1017\/s1471068416000016","type":"journal-article","created":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T10:44:26Z","timestamp":1457347466000},"page":"1-48","source":"Crossref","is-referenced-by-count":16,"title":["The pragmatic proof: Hypermedia API composition and execution"],"prefix":"10.1017","volume":"17","author":[{"given":"RUBEN","family":"VERBORGH","sequence":"first","affiliation":[]},{"given":"D\u00d6RTHE","family":"ARNDT","sequence":"additional","affiliation":[]},{"given":"SOFIE","family":"VAN HOECKE","sequence":"additional","affiliation":[]},{"given":"JOS","family":"DE ROO","sequence":"additional","affiliation":[]},{"given":"GIOVANNI","family":"MELS","sequence":"additional","affiliation":[]},{"given":"THOMAS","family":"STEINER","sequence":"additional","affiliation":[]},{"given":"JOAQUIM","family":"GABARRO","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2016,3,7]]},"reference":[{"key":"S1471068416000016_ref49","volume-title":"Proc. of the 1st International Workshop on Consuming Linked (COLD2010) Workshop at the 9th International Semantic Web Conference (ISWC2010) \u2013 ISWC 2010 Workshops","author":"Norton","year":"2010"},{"key":"S1471068416000016_ref2","doi-asserted-by":"crossref","first-page":"1051","DOI":"10.1145\/1772690.1772799","volume-title":"Proc. of the 19th International Conference on World Wide Web","author":"Alarc\u00f3n","year":"2010"},{"key":"S1471068416000016_ref26","doi-asserted-by":"crossref","unstructured":"Duerst M. and Suignard M. 2005. Internationalized resource identifiers (IRIs). URL: http:\/\/www.ietf.org\/rfc\/rfc3987.txt [Accessed on 21\/01\/2016].","DOI":"10.17487\/rfc3987"},{"key":"S1471068416000016_ref9","unstructured":"Beckett D. , Berners-Lee T. , Prud'hommeaux E. and Carothers G. 2013. Turtle \u2013 terse RDF triple language. W3C Candidate Recommendation. URL: http:\/\/www.w3.org\/TR\/turtle\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21542-6_9"},{"key":"S1471068416000016_ref18","unstructured":"Bizer C. , Jentzsch A. and Cyganiak R. 2011. State of the LOD cloud. URL: http:\/\/www4.wiwiss.fu-berlin.de\/lodcloud\/state [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref27","unstructured":"Fielding R. T. 2008. REST APIs must be hypertext-driven. Untangled \u2013 Musings of Roy T. Fielding. URL: http:\/\/roy.gbiv.com\/untangled\/2008\/rest-apis-must-be-hypertext-driven [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref44","first-page":"917","volume-title":"Proc. of the On the Move to Meaningful Internet Systems Workshops","author":"Maleshkova","year":"2009"},{"key":"S1471068416000016_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19394-1_12"},{"key":"S1471068416000016_ref35","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210335"},{"key":"#cr-split#-S1471068416000016_ref14.1","doi-asserted-by":"crossref","unstructured":"5. Berners-Lee T. and Connolly D. 2011. Notation3","DOI":"10.1145\/1963405.1963408"},{"key":"#cr-split#-S1471068416000016_ref14.2","unstructured":"6. (N3): A readable RDF syntax. W3C Team Submission. URL: http:\/\/www.w3.org\/TeamSubmission\/n3\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref40","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2007.134"},{"key":"#cr-split#-S1471068416000016_ref36.1","unstructured":"7. Klyne G. and Carrol J. J. 2004. Resource description framework"},{"key":"#cr-split#-S1471068416000016_ref36.2","unstructured":"8. (RDF): Concepts and abstract syntax. W3C Recommendation. URL: http:\/\/www.w3.org\/TR\/2004\/REC-rdf-concepts-20040210\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref25","unstructured":"De Roo J. 1999\u20132014. Euler proof mechanism. URL: http:\/\/eulersharp.sourceforge.net\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23580-1_2"},{"key":"S1471068416000016_ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2638546"},{"key":"S1471068416000016_ref47","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.58"},{"key":"S1471068416000016_ref46","unstructured":"Martin D. , Burstein M. , Hobbs J. and Lassila O. 2004. OWL-S: Semantic markup for web services. W3C Member Submission. URL: http:\/\/www.w3.org\/Submission\/OWL-S\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.002"},{"key":"S1471068416000016_ref32","unstructured":"Hayes P. J. and Patel-Schneider P. F. 2014. rdf 1.1 Semantics. w3c Recommendation. URL: http:\/\/www.w3.org\/TR\/2014\/REC-rdf11-mt-20140225\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90011-6"},{"key":"S1471068416000016_ref23","unstructured":"Christensen E. , Curbera F. , Meredith G. and Weerawarana S. 2001. Web services description language (WSDL). W3C Note. URL: http:\/\/www.w3.org\/TR\/wsdl [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref16","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"S1471068416000016_ref39","unstructured":"Kopeck\u00fd J. and Vitvar T. 2008. MicroWSMO. WSMO Working Draft. URL: http:\/\/www.wsmo.org\/TR\/d38\/v0.1\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref11","unstructured":"Berners-Lee T. 2000. Semantic Web Application Platform. URL: http:\/\/www.w3.org\/2000\/10\/swap\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(92)90039-S"},{"key":"S1471068416000016_ref17","unstructured":"Bishop B. and Fischer F. 2008. IRIS-integrated rule inference system. In Proc. of International Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (ARea 2008)."},{"key":"S1471068416000016_ref28","doi-asserted-by":"crossref","unstructured":"Fielding R. T. , Gettys J. , Mogul J. , Frystyk H. , Masinter L. , Leach P. and Berners-Lee T. 1999. Hypertext transfer protocol \u2013 HTTP\/1.1. URL: http:\/\/www.ietf.org\/rfc\/rfc2616.txt [Accessed on 21\/01\/2016].","DOI":"10.17487\/rfc2616"},{"key":"S1471068416000016_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_20"},{"key":"S1471068416000016_ref45","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357090"},{"key":"S1471068416000016_ref50","unstructured":"Ord\u00f3\u00f1ez L. , Suarez L. J. , Rojas L. A. and Corrales J. C. 2012. Towards the automation of the semantic annotation process for Web services. In Proc. of the 2012 Conference on Semantic Web & Web Services."},{"key":"S1471068416000016_ref19","unstructured":"Bock C. , Fokoue A. , Haase P. , Hoekstra R. , Horrocks I. , Ruttenberg A. , Sattler U. and Smith M. 2012. Owl 2 web ontology language. W3C Recommendation. URL: http:\/\/www.w3.org\/TR\/owl2-syntax\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref30","unstructured":"Gomadam K. , Ranabahu A. and Sheth A. 2010. SA-REST: Semantic annotation of web resources. W3C Member Submission. URL: http:\/\/www.w3.org\/Submission\/SA-REST\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref34","first-page":"1","volume-title":"Web Reasoning and Rule Systems","author":"Kifer","year":"2008"},{"key":"S1471068416000016_ref4","volume":"9","author":"Angele","year":"2005","journal-title":"W3C Member Submission"},{"key":"S1471068416000016_ref29","doi-asserted-by":"publisher","DOI":"10.1145\/514183.514185"},{"key":"S1471068416000016_ref41","unstructured":"Lanthaler M. and G\u00fctl C. 2013. Hydra: A vocabulary for hypermedia-driven Web APIs. In Proc. of the 6th Workshop on Linked Data on the Web, C. Bizer , T. Heath , T. Berners-Lee , M. Hausenblas and S. Auer , Eds. 6th Workshop on Linked Data on the Web. Rio de Janeiro, Brazil."},{"key":"S1471068416000016_ref63","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45484-5_20"},{"key":"S1471068416000016_ref10","unstructured":"Berlind D. 2013. ProgrammableWeb's directory hits 10,000 APIs. And counting. ProgrammableWeb blog. URL: http:\/\/blog.programmableweb.com\/2013\/09\/23\/programmablewebs-directory-hits-10000-apis-and-counting\/ [Accessed on 21\/01\/ 2016]."},{"key":"S1471068416000016_ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1526709.1526832"},{"key":"S1471068416000016_ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-9299-3_5"},{"key":"S1471068416000016_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21542-6_21"},{"key":"S1471068416000016_ref15","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003213"},{"key":"S1471068416000016_ref37","unstructured":"Koch J. , Valesco C. A. and Ackermann P. 2011. HTTP vocabulary in RDF 1.0. W3C Working Draft. URL: http:\/\/www.w3.org\/TR\/HTTP-in-RDF10\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76298-0_52"},{"key":"S1471068416000016_ref51","unstructured":"Parsia B. and Sirin E. 2004. Pellet: An OWL DL reasoner. In Proc. of the 3rd International Semantic Web Conference, V. Haarslev , R. M\u00f6ller , Eds."},{"key":"S1471068416000016_ref33","unstructured":"Horrocks I. , Patel-Schneider P. F. , Boley H. , Tabet S. , Grosof B. and Dean M. 2004. SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission. URL: http:\/\/www.w3.org\/Submission\/SWRL\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref54","volume-title":"The Semantic Web: Research and Applications","author":"Speiser","year":"2011"},{"key":"S1471068416000016_ref12","unstructured":"Berners-Lee T. 2000\u20132009. URL: cwm. http:\/\/www.w3.org\/2000\/10\/swap\/doc\/cwm.html [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref55","first-page":"1225","volume-title":"Proc. of the World Wide Web Conference","author":"Stadtm\u00fcller","year":"2013"},{"key":"S1471068416000016_ref61","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-012-1004-5"},{"key":"S1471068416000016_ref58","volume-title":"Proc. of the 5th International Workshop on Semantic Sensor Networks","author":"Verborgh","year":"2012"},{"key":"S1471068416000016_ref57","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2015.63"},{"key":"S1471068416000016_ref53","unstructured":"Richardson L. , Amundsen M. and Ruby S. 2013. RESTful Web APIs. O'Reilly, Sebastopol, CA."},{"key":"S1471068416000016_ref42","unstructured":"Lausen H. , Polleres A. and Roman D. 2005. Web service modeling ontology (WSMO). W3C Member Submission. URL: http:\/\/www.w3.org\/Submission\/WSMO\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref56","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-012-1032-1"},{"key":"S1471068416000016_ref62","doi-asserted-by":"publisher","DOI":"10.1108\/JD-07-2013-0098"},{"key":"S1471068416000016_ref1","volume-title":"Foundations of Databases: The Logical Level","author":"Abiteboul","year":"1995"},{"key":"S1471068416000016_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97596-7"},{"key":"S1471068416000016_ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2307819.2307828"},{"key":"S1471068416000016_ref38","unstructured":"Kopeck\u00fd J. , Gomadam K. and Vitvar T. 2008. hRESTS: An HTML microformat for describing RESTful Web services. In Proc. of the International Conference on Web Intelligence and Intelligent Agent Technology, IEEE Computer Society, Washington, DC, USA, 619\u2013625."},{"key":"S1471068416000016_ref20","unstructured":"Brickley D. and Guha R. V. 2004. RDF vocabulary description language 1.0: RDF schema. W3C Recommendation. URL: http:\/\/www.w3.org\/TR\/rdf-schema\/ [Accessed on 21\/01\/2016]."},{"key":"S1471068416000016_ref22","first-page":"74","volume-title":"Proc. of the 13th International World Wide Web Conference","author":"Carroll","year":"2004"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068416000016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T17:22:26Z","timestamp":1748798546000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068416000016\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,7]]},"references-count":65,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["S1471068416000016"],"URL":"https:\/\/doi.org\/10.1017\/s1471068416000016","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,7]]}}}