by Dave Raggett (W3C/ERCIM)

Introduction
Machine reasoning has had little attention over the last decade when compared to knowledge graphs and deep learning. Application logic is usually buried in the program code, making it cumbersome and costly to update. Approaches based upon traditional logic fail to cope with everyday knowledge that inevitably includes uncertainty, incompleteness and inconsistencies, whilst statistical approaches are often impractical given difficulties in obtaining the required statistics.

by Fabrice Saffre (VTT Technical Research Centre of Finland)

Low Earth Orbit (LEO) satellite constellations are fast becoming a reality, but like for many new technologies, making the most out of them may require some innovative thinking beyond the obvious.

by Davide Basile, Maurice ter Beek, Giovanna Broccia and Alessio Ferrari (ISTI-CNR)

Researchers from the Formal Methods and Tools (FMT) lab of ISTI-CNR are working on the application of formal methods to devise interaction protocols for safe-by-construction IoT Systems of Systems. They are also working on the empirical investigation and evaluation of the effectiveness of techniques and methodologies proposed for IoT application scenarios. The research is being conducted in the context of the national project T-LADIES, funded by the Italian Ministry of Education, University and Research (MIUR) under the program for Projects of National Interest (PRIN).

by Kostas Petrakis, Manos Paterakis and Dimitris Angelakis (ICS-FORTH)

Heritage Annotator is a tool to support the creation and management of semantically structured annotations on digital representations of cultural heritage objects for the documentation of the acquired data and the results of analytical examinations, as well as of conservation condition reports or remedial works performed on the objects.