Edinburgh Research Explorer

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

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

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
PublisherSPRINGER INT PUBLISHING AG
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

Conference

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

Abstract

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.

Event

44th International Conference on Current Trends in Theory and Practice of Computer Science

29/01/182/02/18

Krems an der Donau, Austria

Event: Conference

ID: 74772786