Luigi Bellomarini Georg Gottlob Andreas Pieris Emanuel Sallinger Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. 3-16 2018 SOFSEM https://doi.org/10.1007/978-3-319-73117-9_1 conf/sofsem/2018 db/conf/sofsem/sofsem2018.html#BellomariniGPS18