80 Hits in 5.9 sec

The pragmatic proof: Hypermedia API composition and execution

2016 Theory and Practice of Logic Programming  
To pragmatically verify the applicability of compositions, we introduce the notion of pre-execution and post-execution proofs.  ...  The experimental results lead to the conclusion that proof-based consumption of hypermedia APIs is a feasible strategy at Web scale.  ...  The research activities were funded by Ghent University, the Institute for the Promotion of Innovation by Science and Technology in Flanders (IWT), and the European Union.  ... 
doi:10.1017/s1471068416000016 fatcat:q7wh3mi7tzbptgsouqnazohfhq

Functional Composition of Sensor Web APIs

Ruben Verborgh, Vincent Haerinck, Thomas Steiner, Davy Van Deursen, Sofie Van Hoecke, Jos De Roo, Rik Van de Walle, Joaquim Gabarró
2012 International Semantic Web Conference  
We then indicate how the composition in this proof can be executed. We describe our architecture and implementation, and validate that proof-based composition is a feasible strategy on a Web scale.  ...  Moreover, the composition process does not require specific tools, as compositions are created by generic Semantic Web reasoners as part of a proof.  ...  in Flanders (iwt), the Fund for Scientific Research Flanders (fwo Flanders), and the European Union.  ... 
dblp:conf/semweb/VerborghHSDHRWG12 fatcat:47t3bfks5reopoe6gcrik2jvqm

Towards an ontology of HTTP interactions [article]

Mathieu Lirzin
2020 arXiv   pre-print
These programs provide and consume via Web APIs some resources identified by URIs, whose representations are transmitted via HTTP.  ...  A proposal for an RDF vocabulary exists, developed with a view to carrying out web application conformity tests and record the tests outputs. This vocabulary has already been reused.  ...  Verborgh, R., Arndt, D., Hoecke, S.V., Roo, J.D., Mels, G., Steiner, T., Gabarró, J.: The pragmatic proof: Hypermedia API composition and execution. Theory Pract. Log.  ... 
arXiv:2007.13475v1 fatcat:m2x3pz6amrf5xoya3jmf7tlhku

Linked Data Templates: Ontology-driven approach to read-write Linked Data

Martynas Jusevičius
2016 Zenodo  
We conclude that LDT provides a new way to build applications and can be used to implement the ontology-driven Semantic Web vision.  ...  We then introduce an abstract model for RDF CRUD interactions based on template matching, outline the processing model, and provide an example.  ...  It was largely forgotten when the high expectations were not met, and the community focus shifted to the more pragmatic Linked Data.  ... 
doi:10.5281/zenodo.5826249 fatcat:ghcw5fhtejbblbw7xzv7gnyoc4

Data Service API Design for Data Analytics [chapter]

Yun Zhang, Liming Zhu, Xiwei Xu, Shiping Chen, An Binh Tran
2018 Lecture Notes in Computer Science  
and leveraging API call history; • An extension of the data package incorporating data processing scripts and data context information, enabling the reuse of the data exploration process and the derived  ...  DaaS enables data provision as a service and provides controlled access to this data through RESTful APIs.  ...  The research of Hypermedia-driven service composition [2] is based on Rell and takes advantage of Petri Nets as a mechanism for describing the machine-client navigation.  ... 
doi:10.1007/978-3-319-94376-3_6 fatcat:cg3pqi5tzbe6blkyg557aqif5q

Capturing the functionality of Web services with functional descriptions

Ruben Verborgh, Thomas Steiner, Davy Van Deursen, Jos De Roo, Rik Van de Walle, Joaquim Gabarró Vallés
2012 Multimedia tools and applications  
Some approaches were supposedly too complex and verbose, others were considered not RESTful, and some failed to reach a significant majority of API providers for a combination of the reasons above.  ...  It expresses the semantics of Web services by pre-and postconditions in simple N3 rules, and integrates existing standards and conventions such as Link headers, HTTP OPTIONS, and URI templates for R. yet  ...  The resulting RESTdesc descriptions can be used for automatic discovery, service composition [39, 42] , and execution. These and other aspects will be demonstrated in Section 4.2.  ... 
doi:10.1007/s11042-012-1004-5 fatcat:m4b3umzt4rav5ixkdneypjqy7e

Literate, Active OWL Ontologies

Bijan Parsia
2008 W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)  
OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the context of an OWL document  ...  The basic technique has been applied to the draft version of the OWL 2 primer.  ...  Interactive proof assistants (such as [2] and their associated languages have always supported the interactive development and reading of proofs (hence their name) and have in recent years moved toward  ... 
dblp:conf/owled/Parsia08 fatcat:6ucsjrf5nnfc3idoakfp4je33q

Building CMS-based Web applications using a model-driven approach

Feliu Trias
2012 2012 Sixth International Conference on Research Challenges in Information Science (RCIS)  
Some other proposed RDF APIs are: Wilbur [73] (Nokia), the RDF API introduced in [85] , and Redland [4] .  ...  This entire process of retrieving data and presenting it in hypermedia format needs to be specified during the design phase and the underlying software suite has to automatically execute that specification  ...  RDF(S) SERIALIZATION OF THE INTEGRATION MODEL <rdfs:subClassOf rdf:resource="&rdfs;Resource"/> </rdfs:Class> <rdfs:Class rdf:about="&articulations;Edge" rdfs:label="Edge"> <rdfs:subClassOf rdf:resource  ... 
doi:10.1109/rcis.2012.6240465 dblp:conf/rcis/Trias12 fatcat:bhbsaprjfbgcvpffjr6ooeljge

A Dynamic Dashboarding Application for Fleet Monitoring Using Semantic Web of Things Technologies

Sander Vanden Hautte, Pieter Moens, Joachim Van Herwegen, Dieter De Paepe, Bram Steenwinckel, Stijn Verstichel, Femke Ongenae, Sofie Van Hoecke
2020 Sensors  
This way, the user can concentrate on interpreting the sensor data and detecting and solving operational problems early.  ...  The resulting dashboarding application automatically presents the available sensors, visualizations and aggregations that can be used, without requiring sensor configuration, and assists the user in building  ...  Acknowledgments: We would like to thank Olivier Janssens and Iman Cocquyt for contributing to the software.  ... 
doi:10.3390/s20041152 pmid:32093134 pmcid:PMC7070627 fatcat:ih3mbfn4sje7thqswcrjo7ncay

Execution Models [chapter]

2006 Service-Oriented Computing  
UDDI APIs UDDI specifies two APIs for programmatic access to a UDDI registry: the Inquiry API for retrieving information from a registry and the Publish API for storing information there.  ...  Hypermedia as the engine for the application state. Layered components.  ...  Engineering composed services thus requires capturing patterns of semantic and pragmatic constraints on how the services may participate in different compositions.  ... 
doi:10.1002/0470091509.ch10 fatcat:2jdemglma5gtre5xkxtzck45am

An approach for pipelining nested collections in scientific workflows

Timothy M. McPhillips, Shawn Bowers
2005 SIGMOD record  
Department of Energy, and by the National Institutes of Health, grants NS37470 and NS44393.  ...  Moreover, he thanks Gianluigi Greco for his recent contribution to the weighted extension, and Alfredo Mazzitelli for his valuable work in designing and implementing the tools for experiments.  ...  Using Mako client APIs, clients can search for a particular workflow and execute it using the distributed execution service.  ... 
doi:10.1145/1084805.1084809 fatcat:sgtpcat7vzc3veb4dx2jgskpte

Report from Dagstuhl Seminar 13252 Interoperation in Complex Information Ecosystems

Andreas Harth, Craig Knoblock, Kai-Uwe Sattler, Rudi Studer, Andreas Harth, Craig Knoblock, Kai-Uwe Sattler, Rudi Studer, Andreas Harth, Craig Knoblock, Kai-Uwe Sattler, Rudi Studer (+1 others)
84 13252-Interoperation in Complex Information Ecosystems community provided ontologies and logic-based modelling in a web context; finally, the Web community established the Hypermedia principle which  ...  This report documents the program and the outcomes of Dagstuhl Seminar 13252 "Interoperation in Complex Information Ecosystems".  ...  Petrie (Stanford University), and the author. References Acknowledgements This work has been supported by Microsoft. Acknowledgements  ... 

Towards a synchronized semantic model to support aspects of building management

Michael Dibley, Haijiang Li, John Miles, Yacine Rezgui
2009 2009 7th IEEE International Conference on Industrial Informatics  
The use of the multi agent paradigm renders a system that delivers demonstrable rationality and is robust within the dynamic environment that it operates.  ...  In contrast, current FM tools, lacking automatic synchronisation with the domain and rich semantic modelling, are limited to the simpler querying of manually maintained models iv v Declaration and Statements  ...  Acknowledgements The author gratefully acknowledges the help, support and guidance of his supervisors Dr Haijiang Li and Professor John Miles. The research was funded by the EPSRC.  ... 
doi:10.1109/indin.2009.5195822 fatcat:z2s4micvrvhwzioiivpdxz2t54

Coordinating Service Compositions : Model and Infrastructure for Collaborative Creation of Electronic Documents

Nelly Schuster
The composition of human contributions with data and services on the Web into a document, however, involves high manual effort of participants.  ...  The composition model on top of the component model enables participants to flexibly compose these services into a document.  ...  The rule engine provides two interfaces, the engine API and the event API. • The engine API allows collaboration applications to start and stop rule processing for specific mashups as well as add and modify  ... 
doi:10.5445/ksp/1000035097 fatcat:ofbnjzlsqjcp5avq5o2yk6ftcu

Semantic Enrichment in Ontologies for Matching

Nwe Ni Tun, Satoshi Tojo
2006 International Journal on Semantic Web and Information Systems (IJSWIS)  
The method is implemented in Java for matching between OWL ontologies by utilizing Jena OWL API and Protégé OWL API.  ...  Moreover, an experiment is done in two real data sets, and the effectiveness of EOM is shown in terms of precision and recall. ii iii Contents Abstract i  ...  The proof layer executes the use of rules and evaluates, together with the logic layer, mechanisms for applications to decide whether to trust the given proof or not.  ... 
doi:10.4018/jswis.2006100102 fatcat:bk6b5c724jaanmps5wfj4dvfh4
« Previous Showing results 1 — 15 out of 80 results