Ontologies for Knowledge Graphs: Breaking the Rules

Large-scale knowledge graphs (KGs) are widely used in industry and academia, and provide excellent use-cases for ontologies. We find, however, that popular ontology languages, such as OWL and Datalog, cannot express even the most basic relationships on the normalised data format of KGs. Existential rules are more powerful, but may make reasoning undecidable. Normalising them to suit KGs often also destroys syntactic restrictions that ensure decidability and low complexity. We study this issue for several classes of existential rules and derive new syntactic criteria to recognise well-behaved rule-based ontologies over KGs.

[1]  Haim Gaifman,et al.  Decidable Optimization Problems for Database Logic Programs (Preliminary Report) , 1988, STOC 1988.

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

[3]  Michael Zakharyaschev,et al.  Query Rewriting and Optimisation with Database Dependencies in Ontop , 2013, Description Logics.

[4]  Haim Gaifman,et al.  Decidable optimization problems for database logic programs , 1988, STOC '88.

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

[6]  Sebastian Rudolph,et al.  Walking the Complexity Lines for Generalized Guarded Existential Rules , 2011, IJCAI.

[7]  Nicole Tourigny,et al.  Bio2RDF: Towards a mashup to build bioinformatics knowledge systems , 2008, J. Biomed. Informatics.

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

[9]  Gerhard Weikum,et al.  YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract , 2013, IJCAI.

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

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

[12]  Yehoshua Sagiv,et al.  Optimizing datalog programs , 1987, Foundations of Deductive Databases and Logic Programming..

[13]  Markus Krötzsch,et al.  Wikidata , 2014, Commun. ACM.

[14]  Jacopo Urbani,et al.  Column-Oriented Datalog Materialization for Large Knowledge Graphs , 2016, AAAI.

[15]  Diego Calvanese,et al.  OBDA Beyond Relational DBs: A Study for MongoDB , 2016, Description Logics.

[16]  Fernando Pereira,et al.  Yedalog: Exploring Knowledge at Scale , 2015, SNAPL.

[17]  Marie-Laure Mugnier,et al.  Ontology-Mediated Queries for NOSQL Databases , 2016, Description Logics.

[18]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[19]  Praveen Paritosh,et al.  Freebase: a collaboratively created graph database for structuring human knowledge , 2008, SIGMOD Conference.

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

[21]  Erich Grädel,et al.  On the Restraining Power of Guards , 1999, Journal of Symbolic Logic.

[22]  Sebastian Rudolph,et al.  Extending Decidable Existential Rules by Joining Acyclicity and Guardedness , 2011, IJCAI.

[23]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[24]  Boris Motik,et al.  Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies , 2013, J. Artif. Intell. Res..