KIT | KIT-Bibliothek | Impressum | Datenschutz

Behaviour on Linked Data - Specification, Monitoring, and Execution

Käfer, Tobias Christof

Abstract (englisch):
People, organisations, and machines around the globe make use of web technologies to communicate. For instance, 4.16 bn people with access to the internet made 4.6 bn pages on the web accessible using the transfer protocol HTTP, organisations such as Amazon built ecosystems around the HTTP-based access to their businesses under the headline RESTful APIs, and the Linking Open Data movement has put billions of facts on the web available in the data model RDF via HTTP. Moreover, under the headline Web of Things, people use RDF and HTTP to access sensors and actuators on the Internet of Things.

The necessary communication requires interoperable systems at a truly global scale, for which web technologies provide the necessary standards regarding the transfer and the representation of data: the HTTP protocol specifies how to transfer messages, besides defining the semantics of sending/receiving different types of messages, and the RDF family of languages specifies how to represent the data in the messages, besides providing means to elaborate the semantics of the data in the messages. The combination of HTTP and RDF -together with the shared assumption of HTTP and RDF to use URIs as identifiers- is called Linked Data.

While the representation of static data in the context of Linked Data has been formally grounded in mathematical logic, a formal treatment of dynamics and behaviour on Linked Data is largely missing. ... mehr

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000097019
Veröffentlicht am 02.08.2019
Coverbild
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Hochschulschrift
Jahr 2019
Sprache Englisch
Identifikator KITopen-ID: 1000097019
Verlag Karlsruhe
Umfang 175 S.
Abschlussart Dissertation
Fakultät Fakultät für Wirtschaftswissenschaften (WIWI)
Institut Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Prüfungsdatum 18.12.2018
Referent/Betreuer Prof. Dr. Y. Sure-Vetter
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page