Logic on MARS: Ontologies for Generalised Property Graphs

Graph-structured data is used to represent large information collections, called knowledge graphs, in many applications. Their exact format may vary, but they often share the concept that edges can be annotated with additional information, such as validity time or provenance information. Property Graph is a popular graph database format that also provides this feature. We give a formalisation of a generalised notion of Property Graphs, calledmultiattributed relational structures (MARS), and introduce a matching knowledge representation formalism, multi-attributed predicate logic (MAPL). We analyse the expressive power of MAPL and suggest a simpler, rule-based fragment ofMAPL that can be used for ontological reasoning on Property Graphs. To the best of our knowledge, this is the first approach to making Property Graphs and related data structures accessible to symbolic AI.

[1]  J. Benthem,et al.  Higher-Order Logic , 2001 .

[2]  Joan E. Beaudoin,et al.  BULLETIN of the American Society for Information Science and Technology June / July 2007 , 2007 .

[3]  Letizia Tanca,et al.  G-Log: A Graph-Based Query Language , 1995, IEEE Trans. Knowl. Data Eng..

[4]  Wolfgang Lehner,et al.  The Graph Story of the SAP HANA Database , 2013, BTW.

[5]  John Lloyd.  Higher-Order Logic , 2017, Encyclopedia of Machine Learning and Data Mining.

[6]  Claudio Gutiérrez,et al.  SNQL: A Social Networks Query and Transformation Language , 2011, AMW.

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

[8]  Umberto Straccia,et al.  A General Framework for Representing and Reasoning with Annotated Semantic Web Data , 2010, AAAI.

[9]  P. Dangerfield.  Logic , 1996, Aristotle and the Stoics.

[10]  Marko A. Rodriguez,et al.  Constructions from Dots and Lines , 2010, ArXiv.

[11]  Lise Getoor,et al.  Declarative analysis of noisy information networks , 2011, 2011 IEEE 27th International Conference on Data Engineering Workshops.

[12]  Alberto O. Mendelzon,et al.  Expressing structural hypertext queries in graphlog , 1989, Hypertext.

[13]  Ambuj K. Singh,et al.  Graphs-at-a-time: query language and access methods for graph databases , 2008, SIGMOD Conference.

[14]  Val Tannen,et al.  Provenance semirings , 2007, PODS.

[15]  Renzo Angles,et al.  A Comparison of Current Graph Database Models , 2012, 2012 IEEE 28th International Conference on Data Engineering Workshops.

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

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