Inproceedings3613: Unterschied zwischen den Versionen
Co1683 (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Käfer |ErsterAutorVorname=Tobias }} {{Publikation Author |Rank=2 |Author=Andreas Harth }} {{Inproceedings |Referi…“) |
Co1683 (Diskussion | Beiträge) |
||
Zeile 13: | Zeile 13: | ||
|Year=2018 | |Year=2018 | ||
|Month=April | |Month=April | ||
− | |Booktitle=Proceedings of the 11th International Workshop on | + | |Booktitle=Proceedings of the 11th International Workshop on Linked Data on the Web at the Web Conference (27th WWW) |
|Publisher=CEUR-WS | |Publisher=CEUR-WS | ||
}} | }} |
Aktuelle Version vom 27. April 2018, 15:38 Uhr
Rule-based Programming of User Agents for Linked Data
Rule-based Programming of User Agents for Linked Data
Published: 2018
April
Buchtitel: Proceedings of the 11th International Workshop on Linked Data on the Web at the Web Conference (27th WWW)
Verlag: CEUR-WS
Referierte Veröffentlichung
Kurzfassung
While current Semantic Web languages and technologies are well-suited for accessing and integrating static data, methods and technologies for the handling of dynamic aspects – required in many modern web environments – are largely missing. We propose to use Abstract State Machines (ASMs) as the formal basis for dealing with changes in Linked Data, which is the combination of the Resource Description Framework (RDF) with the Hypertext Transfer Protocol (HTTP). We provide a synthesis of ASMs and Linked Data and show how the combination aligns with the relevant specifications such as the Request/Response communication in HTTP, the guidelines for updating resource state in the Linked Data Platform (LDP)
specification, and the formal grounding of RDF in model theory. Based on the formalisation of Linked Data resources that change state over time, we present the syntax and operational semantics of a small rule-based language to specify user agents that use HTTP to interact with Linked Data as the interface to the environment. We show the feasibility of the approach in an evaluation involving the specification of automation in a Smart Building scenario, where the presented approach serves as a theoretical foundation.
Weitere Informationen unter: Link