Reasoning in Dynamical Systems on the Web: Classification and Challenges

Transcription

1 Reasoning in Dynamical Systems on the Web: Classification and Challenges Andreas Harth Karlsruhe Institute of Technology (KIT) Stream Reasoning Workshop Berlin,

2 From Stream Processing PREFIX : < SELECT * WHERE { :Axel :isin?x. :Andreas :isin?x. }

3 to Stream Reasoning

4 Selected Projects ARVIDA: Applied Reference Architecture for Virtual Services and Applications Break up monolithic industrial applications into distributed applications Components based on RESTful interfaces RDF, RDFS and OWL for knowledge representation (vocab.arvida.de) i-vision: Immersive Semantics-based Virtual Environments for the Design and Validation of Human-centred Aircraft Cockpits Human-Cockpit Operations Analysis Semantic Virtual Cockpit Virtual Cockpit Design Environment

5 Demo Setup

6 Demo Setup

7 Requirements Connect different subsystems (tracking, simulation, rendering ) Process data in near-realtime (sub-second) for VR/AR Handle dynamics and behaviour (of both systems and humans)

8 Mismatches Data: different data formats (binary, XML, JSON, CSV ) Metadata: different annotations (data source, timestamp, valid time ) Protocol: different access protocols (sockets, HTTP, ROS, MQTT, UPC-UA ) Architecture: different access method (pull vs. push) Semantics: different vocabularies (ASDM, DC ) Aspect: different view on aspect (state vs. event) Goal: uniform interfaces to simplify integration

9 Technologies Web technologies for identification (URIs) and access and manipulation protocol (HTTP) RESTful systems (Richardson Maturity Model level 2/3) Semantic Web technologies for data modelling (RDF, RDFS, subset of OWL for data integration; SHACL for checking constraints) Wrappers ( administration shell ) to unify access to components ARVIDA Semantics Concept ARVIDA Syntax RDF/XML Turtle ARVIDA Session HTTP ARVIDA Network TCP Attribute Datatype Link Concept

10 Resolving Mismatches Data: everything in RDF (except binary files) Metadata: source (HTTP URI/request with HTTP header info) Protocol: everything in HTTP Architecture: everything pull (user input: push) Semantics: reasoning to handle different vocabularies Aspect: everything is modelled in state view (user input: event)

11 Uniform Network Interface Components A and B, data flows from A (source/producer) to B (sink, consumer) REST assumes request/response communication pattern between components with client connector and server connector Clients emit requests, receive response Servers answer to incoming requests with a response

12 Network Interface: Push vs. Pull Push A is client, B is server A emits PUT request At A: B.put(value) Pull A is server, B is client B emits GET request At B: A.get(value) Loop at A Loop at B

13 Linked Data-Fu Linked Data processor Query and rule evaluation Operates on snapshots of current world state (as described in Linked Data) Repeated evaluation of rule-based programs Support HTTP CRUD (create-readupdate-delete)

14 Conclusion Linked Data provides uniform interface to diverse set of data sources Web provides decentralised open platform (that can be used internally, too) Vocabularies and Ontologies allow for modelling data SPARQL allows for querying data With the right technology, we can process real-time heterogeneous data Both at rest (batch) and at motion (real-time), read and write Existing industrial prototypes for applications in Industrie 4.0 and Internet of Things

15 References Andreas Harth, Tobias Käfer, Felix Leif Keppmann, Dimitri Rubinstein, René Schubotz, Christian Vogelgesang. "Flexible industrielle VT-Anwendungen auf Basis von Webtechnologien". VDE Kongress 2016, Internet der Dinge, Nov 7-8, 2016, Mannheim, Germany. Tobias Käfer, Sebastian Bader, Lars Heling, Raphael Manke and Andreas Harth. "Exposing Internet of Things Devices on REST and Linked Data Interfaces". 2nd International Workshop on Interoperability & Open Source Solutions for the Internet of Things. Co-located with 6th International Conference on the Internet of Things (IoT 2016). Nov 7, 2016, Stuttgart, Germany. Felix Leif Keppmann, Maria Maleshkova, Andreas Harth. "Semantic Technologies for Realising Decentralised Applications for the Web of Things". 21st International Conference on Engineering of Complex Computer Systems, Nov 6-8, 2016, Dubai, UAE. Sarah Brauns, Tobias Käfer, Dirk Koriath, Andreas Harth. "Individualisiertes Gruppentraining mit Datenbrillen für die Produktion". GI-Jahrestagung Andreas Harth, Tobias Käfer. "Towards Specification and Execution of Linked Systems". 28. GI- Workshop Grundlagen von Datenbanken, May 24-27, 2016, Nörten-Hardenberg, Germany.