Swift Logic for Big Data and Knowledge Graphs

Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

Invited Speakers. Pages 2-10.

https://doi.org/10.24963/ijcai.2017/1

PDF BibTeX

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.

Keywords

  • Knowledge Representation, Reasoning, and Logic: Computational Complexity of Reasoning
  • Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation
  • Knowledge Representation, Reasoning, and Logic: Description Logics and Ontologies
  • Multidisciplinary Topics and Applications: Database Systems
Welcome Future Conferences AI Journal Division IJCAI Proceedings Travel Grant Program IJCAI Awards