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

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 machinelearning and analytics packages. We present KRR formalisms and a system achieving these goals.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

[3]  Moshe Y. Vardi,et al.  The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..

[4]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[5]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[6]  Prasan Roy,et al.  Efficient and extensible algorithms for multi query optimization , 1999, SIGMOD '00.

[7]  Efficient and Extensible Algorithms for Multi Query Optimization , 2000, SIGMOD Conference.

[8]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[9]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

[10]  Manolis Gergatsoulis,et al.  Linearisability on datalog programs , 2003, Theor. Comput. Sci..

[11]  Debra M. Amidon,et al.  Knowledge Economics: Emerging Principles, Practices and Policies , 2005 .

[12]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[13]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[14]  Andrea Calì,et al.  Taming the Infinite Chase: Query Answering under Expressive Relational Constraints , 2008, Description Logics.

[15]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[16]  Reinhard Pichler,et al.  DEMo: Data Exchange Modeling Tool , 2009, Proc. VLDB Endow..

[17]  Andrea Calì,et al.  Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.

[18]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..

[19]  Shan Shan Huang,et al.  Datalog and emerging applications: an interactive tutorial , 2011, SIGMOD '11.

[20]  Diego Calvanese,et al.  The MASTRO system for ontology-based data access , 2011, Semantic Web.

[21]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[22]  Andrea Calì,et al.  Towards more expressive ontology languages: The query answering problem , 2012, Artif. Intell..

[23]  Tim Furche,et al.  OXPath: A language for scalable data extraction, automation, and crawling on the deep web , 2012, The VLDB Journal.

[24]  Giorgio Terracina,et al.  Efficiently Computable Datalog∃ Programs , 2012, KR.

[25]  Paolo Papotti,et al.  That's All Folks! LLUNATIC Goes Open Source , 2014, Proc. VLDB Endow..

[26]  Yavor Nenov,et al.  Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems , 2014, AAAI.

[27]  Giorgio Orsi,et al.  Query Rewriting and Optimization for Ontological Databases , 2014, TODS.

[28]  Prasoon Goyal,et al.  Probabilistic Databases , 2009, Encyclopedia of Database Systems.

[29]  Tim Furche,et al.  DIADEM: Thousands of Websites to a Single Database , 2014, Proc. VLDB Endow..

[30]  Carlo Zaniolo,et al.  Optimizing recursive queries with monotonic aggregates in DeALS , 2015, 2015 IEEE 31st International Conference on Data Engineering.

[31]  Emir Pasalic,et al.  Design and Implementation of the LogicBlox System , 2015, SIGMOD Conference.

[32]  Jean-François Baget,et al.  Graal: A Toolkit for Query Answering with Existential Rules , 2015, RuleML.

[33]  Georg Gottlob,et al.  Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue , 2015, IJCAI.

[34]  Carlo Zaniolo,et al.  Big Data Analytics with Datalog Queries on Spark , 2016, SIGMOD Conference.

[35]  Tim Furche,et al.  Data Wrangling for Big Data: Towards a Lingua Franca for Data Wrangling , 2016, AMW.

[36]  Boris Motik,et al.  Benchmarking the Chase , 2017, PODS.

[37]  Georg Gottlob,et al.  Expressive Languages for Querying the Semantic Web , 2018, TODS.