×
鲁本·韦博格;Dörthe阿恩特;索菲·范·霍克;乔斯·德鲁;乔瓦尼·梅尔斯;托马斯·斯坦纳;约阿金·加巴罗

实用性证明：超媒体API的组成和执行。 （英语） 兹比尔1379.68018

理论与实践。日志。程序。 17，第1号，1-48（2017）.
概要：机器客户端越来越多地使用Web来执行任务。虽然Web服务传统上模仿远程过程调用接口，但新一代所谓的超媒体API通过超链接和表单工作，其方式与人们浏览Web的方式类似。这意味着现有的合成技术（预先确定过程计划）不足以使用需要在运行时导航的超媒体API。相反，客户需要一个更具动态性的计划，允许他们遵循超链接并使用具有预设目标的表单。因此，在本文中，我们展示了如何通过通用语义Web推理器创建超媒体API的组合。这是通过基于API功能的语义描述生成证明来实现的。为了从语用上验证合成的适用性，我们引入了执行前和执行后证明的概念。客户端和服务器之间的运行时交互由证据指导，但由超媒体驱动，允许客户端对服务器响应所指示的应用程序的实际状态作出反应。我们描述了如何从描述中生成合成，讨论了生成描述的计算机辅助过程，并使用基准套件验证推理器在各种合成任务中的性能。实验结果表明，基于证据的超媒体API消费在Web规模上是可行的策略。

MSC公司：

68英里11 互联网主题

关键词：

作文;推理;语义网;超媒体API;web API

软件：

N3逻辑;DBpedia（数据库）;格拉尔;耶拿;数据-Fu
PDF格式BibTeX公司 XML格式引用
\textit{R.Verborgh}等人，《理论与实践》。日志。程序。17，第1号，1--48（2017；Zbl 1379.68018）
全文： DOI程序 arXiv公司

参考文献：

[1] 阿比特布尔。，船体R。和维亚努夫。，1995年版。数据库基础：逻辑层，第1版，Addison-Wesley Longman Publishing Co.，Inc.，美国马萨诸塞州波士顿。
[2] AlarcónR。和WildeE.2010。RESTler：爬行RESTful服务。程序中。第19届万维网国际会议，M.Rappa，P.Jones，J.Freire，S.Chakrabarti，Eds.ACM，美国北卡罗来纳州罗利，1051-1052。
[3] 阿拉尔康。，王尔德。和BellidoJ.2011。超媒体驱动的RESTful服务组合。在面向服务的计算中，E.M.Maximilien、G.Rossi、S.T.Yuan、H.Ludwig和M.Fantinato编辑的计算机科学讲义，第6568卷。柏林-海德堡施普林格，111-120.10.1007/978-3642-19394-1·doi:10.1007/978-3-642-19394-1
[4] 安吉尔J。，波雷。，德布鲁因。，翼子板D。，HitzlerP.、。，KiferM.、KrummenacherR.、LausenH.、。，花粉A。和StuderR.2005。Web规则语言（WRL）。W3C会员提交资料9。https://www.w3.org/提交/WRL/[于2016年1月21日访问]。
[5] ArndtD.公司。，VerborghR.、。，德鲁。，阳光。，曼内斯E。和Van De WalleR.2015。符号3逻辑的语义：隐式量化的解决方案。《规则技术：基础、工具和应用》，N.Bassiliades、G.Gottlob、F.Sadri、A.Paschke和D.Roman，Eds.Springer，Berlin Heidelberg，127-143.10.1007/978-3319-21542-6·doi:10.1007/978-3-319-21542-6
[6] 奥地利、比泽尔、。，科比拉罗夫。，莱曼J。，基加尼亚克。和IvesZ.2007。DBpedia：开放数据网络的核心。在《语义网》中，K.Aberer、K.S.Choi、N.Noy、D.Allemang、K.I.Lee、L.Nixon、J.Golbeck、P.Mika、D.Maynard、R.Mizoguchi、G.Schreiber、P.Cudrè-Mauroux编辑，《计算机科学讲稿》，第4825卷。柏林-海德堡施普林格，722-735。网址：http://dx.doi.org/10.1007/978-3-540-76298-0_52[于2016年1月21日访问].10.007/978-3-540-76298-0·doi:10.1007/978-3-540-76298-0
[7] 巴盖特J-F.、LeclèreM.、。，Mugnier.-L.、RocherS.和Sipieter.2015年。Graal：一个使用存在规则进行查询应答的工具包。《规则技术：基础、工具和应用》，N.Bassiliades、G.Gottlob、F.Sadri、A.Paschke和D.Roman，Eds.Springer，Berlin Heidelberg，328-344.10.1007/978-3319-21542-6·doi:10.1007/978-3-319-21542-6
[8] 巴格特J-F.、LeclèreM.、。，Mugnier.-L.和SalvatE.2011。关于存在变量的规则：行走可判定线。人工智能175，9-10，1620-1654.10.1016/j.artint.2011.03.002·Zbl 1225.68247号 ·doi:10.1016/j.artint.2011.03.002
[9] 贝克特博士。，伯纳斯-利特。，普鲁德霍姆阿克斯。和CarothersG.2013。Turtle–简洁的RDF三重语言。W3C候选人推荐。网址：http://www.w3.org/TR/curl/[于2016年1月21日访问]。
[10] 柏林D.2013。ProgrammableWeb的目录达到10000个API。还有计数。可编程的网络博客。网址：http://blog.programmableweb.com/2013/09/23/programmablewebs-directory-hits-1000-apis-and-counting/[于2016年1月21日访问]。
[11] 伯纳斯-利特.2000。语义Web应用程序平台。网址：http://www.w3.org/2000/10/swap/[于2016年1月21日访问]。
[12] Berners-LeeT.2000-2009年。网址：cwm。http://www.w3.org/2000/10/swap/doc/cwm.html[于2016年1月21日访问]。
[13] 伯纳斯-利特。，凯里奥。和GroffJ-F.1992年。万维网。计算机网络和ISDN系统254-5，454-459.10.1016/0169-7552（92）90039-S·doi:10.1016/0169-7552（92）90039-S
[14] 伯纳斯-利特。和Connolly D.2011。符号3（N3）：一种可读的RDF语法。W3C团队提交。网址：http://www.w3.org/TeamSubmission/n3/[于2016年1月21日访问]。
[15] 伯纳斯-利特。，康诺利博士。，卡加尔。，ScharfY和HendlerJ.2008。N3Logic：万维网的逻辑框架。逻辑程序设计的理论与实践83，249-269.10.1017/S147106407003213S1471068407003213·Zbl 1139.68010号 ·文件编号：10.1017/S1471068407003213
[16] 伯纳斯-利特。，亨德勒J.和拉斯拉O.2001。语义网。《科学美国人》284、5、34。
[17] 主教B。和FischerF.2008。IRIS集成规则推理系统。程序中。网络推理国际研讨会：可扩展性和常识（ARea 2008）。
[18] 自行车C、。，JentzschA公司。和CyganiakR.2011。LOD云的状态。网址：http://www4.wiwiss.fu-berlin.de/lodcloud/state【访问日期：2016年1月21日】。
[19] 博克公司。，福克亚。，哈塞普。，霍克斯特拉。，霍洛克群岛。，鲁滕贝格大学，萨特勒大学。和SmithM.2012。猫头鹰2网络本体语言。W3C建议。网址：http://www.w3.org/TR/owl2-语法/[于2016年1月21日访问]。
[20] 布里克利德。和GuhaR。2004年5月。RDF词汇描述语言1.0:RDF模式。W3C建议。网址：http://www.w3.org/TR/rdf-schema/[于2016年1月21日访问]。
[21] 卡尔·A。，哥特洛布。，卢卡西维奇。和PierisA.2011。Datalog+/-：用于本体查询的一系列语言。在重新加载的数据日志中。O.de Moor、G.Gottlob、T.Furche和A.Sellers，柏林海德堡编辑：施普林格，351-368.1007/978-3642-24206-9·Zbl 1233.68027号 ·doi:10.1007/978-3642-24206-9
[22] 卡罗尔J。，迪金森。，多林公司。，雷诺兹博士。，SeaborneA公司。和威尔金森K.2004。Jena：实现语义web建议。程序中。第十三届国际万维网大会，S.Feldman，M.Uretsky，M.Najork，C.Wills，Eds.ACM，美国纽约州纽约市，74-83。网址：www.hpl.hp.com/techreports/2003/hpl-2003-146.pdf[2016年1月21日访问]。
[23] 东部克里斯滕森。，CurberaF.、。，梅雷迪思G。和WeerawaranaS.2001。Web服务描述语言（WSDL）。W3C注释。网址：http://www.w3.org/TR/wsdl[于2016年1月21日访问]。
[24] 时钟输入W。F.和Mellish C。S.1994年。PROLOG编程。柏林-海德堡施普林格·Zbl 0805.68022号
[25] De RooJ.1999-2014年。防欧拉机制。网址：http://eulersharp.sourceforge.net/[于2016年1月21日访问]。
[26] DuerstM公司。和SuignardM.2005。国际化资源标识符（IRI）。网址：http://www.ietf.org/rfc/rfc3987.txt[于2016年1月21日访问]。
[27] FieldingR公司。2008财年。REST API必须是超文本驱动的。无角度-罗伊·T·菲尔丁的沉思。网址：http://roy.gbiv.com/untangled/2008/rest-apis-must-be-hypertext-driven[于2016年1月21日访问]。
[28] FieldingR公司。T.、GettysJ.、。，莫古尔J。，FrystykH.、。，马斯特朗，LeachP。和Berners-LeeT.1999。超文本传输协议-HTTP/1.1。网址：http://www.ietf.org/rfc/rfc2616.txt[于2016年1月21日访问]。
[29] FieldingR公司。T.和TaylorR.N.2002。现代Web架构的原则性设计。互联网技术交易2，2（5月），115-150.10.1145/514183.5141185·数字标识代码：10.1145/514183.514185
[30] 戈马达姆。，拉纳巴胡。和ShethA.2010。SA-REST：web资源的语义注释。W3C成员提交。网址：http://www.w3.org/提交/SA-REST/[于2016年1月21日访问]。
[31] 哥特洛布。，奥西格。和PierisA.2014。本体数据库的查询重写和优化。ACM数据库系统汇刊（TODS）39、3、25·Zbl 1474.68103号
[32] HayesP公司。J.和Patel-SchneiderP。2014年上半年。rdf 1.1语义。w3c建议。网址：http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/[于2016年1月21日访问]。
[33] 霍洛克群岛。，帕特尔·施耐德。F.、BoleyH.、。，表S。，格罗索夫B。和DeanM.2004。SWRL：结合OWL和RuleML的语义web规则语言。W3C会员提交。网址：http://www.w3.org/提交/SWRL/[于2016年1月21日访问]。
[34] KiferM.2008年。规则交换格式：框架。在Web推理和规则系统中。D.Calvanee和G.Lausen，Eds.Springer，柏林-海德堡，1-11.10.1007/978-3-540-88737-9·Zbl 1148.68303号 ·doi:10.1007/978-3-540-88737-9
[35] KiferM.、LausenG。和WuJ.1995。面向对象和基于框架的语言的逻辑基础。美国医学会杂志（JACM）42，4，741-843.10.1145/210332.210335·Zbl 0885.68054号 ·doi:10.1145/210332.210335
[36] 克莱因。和CarrollJ。2004年期刊。资源描述框架（RDF）：概念和抽象语法。W3C建议。网址：http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/[于2016年1月21日访问]。
[37] 科赫J。，Valesco公司。A.和AckermannP.2011。RDF 1.0中的HTTP词汇表。W3C工作草案。网址：http://www.w3.org/TR/http-in-RDF10/[于2016年1月21日访问]。
[38] 科佩克·J。，戈达姆克。和VitvarT.2008。hRESTS：用于描述RESTful Web服务的HTML微格式。程序中。网络智能和智能代理技术国际会议，IEEE计算机学会，美国华盛顿特区，619-625。
[39] 科佩克·J。和VitvarT.2008。MicroWSMO公司。WSMO工作草案。网址：http://www.wsmo.org/TR/d38/v0.1/[于2016年1月21日访问]。
[40] 科佩克·J。，维特瓦特。，伯内兹。和FarrellJ.2007。WSDL和XML模式的语义注释。IEEE互联网计算11，60-67。
[41] LanthalerM.和GütlC.2013。Hydra：超媒体驱动的Web API的词汇表。程序中。第六届网络链接数据研讨会主席，C.Bizer、T.Heath、T.Berners-Lee、M.Hausenblas和S.Auer，编辑。第六届网络链接数据研讨会。巴西里约热内卢。
[42] 劳森H。，花粉A。和罗马D.2005。Web服务建模本体（WSMO）。W3C成员提交。网址：http://www.w3.org/提交/WSMO/[于2016年1月21日访问]。
[43] 劳埃德J。W.和ToporR.W.1984。使Prolog更具表现力。逻辑编程杂志1，3，225-240.10.1016/0743-1066（84）90011-6·兹伯利0584.68022 ·doi:10.1016/0743-1066（84）90011-6
[44] 马列什科娃。，科佩克·J。和PedrinaciC.2009。为RESTful服务的语义注释调整SAWSDL。程序中。《走向有意义的互联网系统研讨会》，R.Meersman、P.Herrero和T.Dillon主编，《计算机科学讲义》，第5872卷。施普林格，柏林-海德堡，917-926。
[45] 曼纳Z。和Waldinger R.1980。程序综合的演绎方法。编程语言与系统学报（TOPLAS）2，1，90-121.10.1145/357084.357090·Zbl 0468.68009号 ·数字对象标识代码：10.1145/357084.357090
[46] 马丁·D。，爆裂M。，霍布斯J。和LassilaO.2004。OWL-S：web服务的语义标记。W3C会员提交。网址：http://www.w3.org/Submission/OWL-S/[于2016年1月21日访问]。
[47] 米兰诺维奇。和MalekM.2004。Web服务组合的当前解决方案。互联网计算，IEEE8，6，51-59.10.1109/MIC.2004.58·doi:10.1109/MIC.2004.58
[48] Mugnier.-L.2011年。用存在规则回答本体查询。在Web推理和规则系统中，S.Rudolph和C.Gutierrez，Eds.Springer，Berlin Heidelberg，2-23.10.1007/978-3642-23580-1·Zbl 1222.68023号 ·doi:10.1007/978-3-642-23580-1
[49] 诺顿B。和KrummenacherR.2010。使用动态链接数据。程序中。第九届国际语义网络会议（ISWC2010）第一届消费相关国际研讨会（COLD2010）研讨会——ISWC 2010研讨会，O.Hartig、A.Harth和J.Sequeda，中国上海编辑，第二卷。
[50] OrdóñezL.公司。，苏亚雷斯。罗哈斯J。A.和CorralesJ。2012年2月。实现Web服务语义注释过程的自动化。程序中。2012年语义Web和Web服务会议。
[51] 帕西亚布。和SirinE.2004。Pellet：OWL DL推理器。程序中。第三届国际语义网络会议，V.Haarslev，R.Möller，Eds。
[52] PautassoC公司。和WildeE.2009。为什么Web是松散耦合的服务设计的多方面指标。程序中。第18届万维网国际会议，J.Quemada、G.León、Y.Maarek和W.Nejdl，美国计算机学会编辑，纽约，911-920.1145/1526709·doi:10.1145/1526709
[53] 理查森。，阿蒙森。和RubyS.2013。RESTful Web API。加利福尼亚州塞巴斯托波尔O'Reilly。
[54] SpeiserS.和HarthA.2011年。将链接数据和服务与链接数据服务集成。《语义网络：研究与应用》，G.Antoniou、M.Grobelnik、E.Simperl、B.Parsia、D.Plexousakis、P.De Leenher和J.Pan主编，计算机科学讲义，第6643卷。施普林格，170-184.10.1007/978-3642-21034-1·doi:10.1007/978-3642-21034-1
[55] StadtmüllerS.，SpeiserS.，HarthA.公司。和StuderR.2013。Data-Fu：一种与读/写链接数据交互的语言和解释程序。程序中。瑞士日内瓦共和国和州国际万维网会议指导委员会万维网大会，1225-1236年。
[56] 范·兰克尔。，范·德森。，VerborghR。和Van de WalleR.2013。使用N3Logic进行语义媒体决策。多媒体工具和应用63，1（3月），7-26.1007/s11042-012-1032-1·doi:10.1007/s11042-012-1032-1
[57] VerborghR公司。和De RooJ.2015。从网上链接的数据中得出结论。IEEE软件32，5（5月），23-27.109/MS.2015.63·doi:10.1109/MS.2015.63
[58] VerborghR.、。，哈林克V。，斯坦纳。，范·德森。，范·霍克。，德鲁。，范德沃勒。和《2012年加巴罗·瓦列斯杂志》。传感器Web API的功能组成。程序中。第五届语义传感器网络国际研讨会，R.Alarcon、C.Pautasso和E.Wilde，美国纽约州纽约市编辑。
[59] VerborghR.、。，哈特A。，马列什科娃。，施泰纳州斯塔德穆勒。，塔赫里扬。和Van de WalleR.2014。REST API语义描述综述。《REST：高级研究课题和实际应用》，C.Pautasso、E.Wilde和R.Alarcón，Eds.Springer，Berlin Heidelberg，69-89.10.1007/978-1-4614-9299-3·doi:10.1007/978-1-4614-9299-3
[60] VerborghR.、。，斯坦纳。，范·德森。，Coppens公司。，加巴罗·瓦列斯。和Van de WalleR.2012。功能描述是超媒体API和语义Web之间的桥梁。程序中。第三届RESTful设计国际研讨会，C.Henson，K.Taylor，O.Corcho，A.Sheth，M.Hauswirth，Eds.ACM，33-40。
[61] VerborghR.、。，Steiner技术。，范·德森。，德鲁。，范德沃勒。和GabarróVallésJ.2013。使用功能描述捕获Web服务的功能。多媒体工具和应用程序64，365-387.10007/s11042-012-1004-5·doi:10.1007/s11042-012-1004-5
[62] VerborghR.、。，范胡兰德斯。，副本A。S.、ChanS.、。，曼内斯E。和Van de WalleR.2015。多API文化的谬误：表征状态转移（REST）的概念和实际好处。文献杂志71，2（3月），233-252.10.1108/JD-07-2013-0098·doi:10.1108/JD-07-2013-0098
[63] Waldinger R.2001年。Web代理进行演绎合作。在基于代理的系统的正式方法中。计算机科学讲义，第1871卷。施普林格，250-262·Zbl 0988.68761号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。