Swift Logic for Big Data and Knowledge Graphs: Overview of Requirements, Language, and System

Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Many modern companies wish to maintain knowledge in the form of a corporate knowledge graph and to use and manage this knowledge via a knowledge graph management system (KGMS). We formulate various requirements for a fully-fledged KGMS. In particular, such a system must be capable of performing complex reasoning tasks but, at the same time, achieve efficient and scalable reasoning over Big Data with an acceptable computational complexity. Moreover, a KGMS needs interfaces to corporate databases, the web, and machine-learning and analytics packages. We present KRR formalisms and a system achieving these goals. To this aim, we use specific suitable fragments from the Datalog±  family of languages, and we introduce the vadalog system, which puts these swift logics into action. This system exploits the theoretical underpinning of relevant Datalog±  languages and combines it with existing and novel techniques from database and AI practice.
Original languageEnglish
Title of host publicationSOFSEM 2018: Theory and Practice of Computer Science
Subtitle of host publication44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
PublisherEdizioni della Normale, Cham
Pages3-16
Number of pages14
ISBN (Electronic)978-3-319-73117-9
ISBN (Print)978-3-319-73116-2
DOIs
Publication statusPublished - 2018
Event44th International Conference on Current Trends in Theory and Practice of Computer Science - Krems an der Donau, Austria
Duration: 29 Jan 20182 Feb 2018
http://www.sofsem.cz/sofsem18/index.html

Publication series

NameTheoretical Computer Science and General Issues
Volume10706
NameLecture Notes in Computer Science
Volume10706
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference44th International Conference on Current Trends in Theory and Practice of Computer Science
Abbreviated titleSOFSEM 2018
Country/TerritoryAustria
CityKrems an der Donau
Period29/01/182/02/18
Internet address

Fingerprint

Dive into the research topics of 'Swift Logic for Big Data and Knowledge Graphs: Overview of Requirements, Language, and System'. Together they form a unique fingerprint.
  • Swift Logic for Big Data and Knowledge Graphs

    Bellomarini, L., Gottlob, G., Pieris, A. & Sallinger, E., 25 Aug 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17). IJCAI Inc, p. 2-10 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File

Cite this