HyperGraphDB: A Generalized Graph Database

We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every entity expressed in the database thus removing many of the usual difficulties in dealing with higher-order relationships. An open two-layered architecture of the data organization yields a highly customizable system where specific domain representations can be optimized while remaining within a uniform conceptual framework. HyperGraphDB is an embedded, transactional database designed as a universal data model for highly complex, large scale knowledge representation applications such as found in artificial intelligence, bioinformatics and natural language processing.

[1]  Mark Levene,et al.  The hypernode model and its associated query language , 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.

[2]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[3]  Claude Berge,et al.  Hypergraphs - combinatorics of finite sets , 1989, North-Holland mathematical library.

[4]  Giorgio Gallo,et al.  Directed Hypergraphs and Applications , 1993, Discret. Appl. Math..

[5]  J. Sadock Speech acts , 2007 .

[6]  Margo I. Seltzer,et al.  Berkeley DB , 1999, USENIX Annual Technical Conference, FREENIX Track.

[7]  Harold Boley Directed Recursive Labelnode Hypergraphs: A New Representation-Language , 1977, Artif. Intell..

[8]  Daniel Dominic Sleator,et al.  Parsing English with a Link Grammar , 1995, IWPT.

[9]  Pedro M. Domingos,et al.  Learning Markov logic network structure via hypergraph lifting , 2009, ICML '09.

[10]  Claudio Gutierrez,et al.  Survey of graph database models , 2008, CSUR.

[11]  Ben Goertzel,et al.  Patterns, Hypergraphs and Embodied General Intelligence , 2006, The 2006 IEEE International Joint Conference on Neural Network Proceedings.

[12]  Jeremy J. Carroll,et al.  Named graphs, provenance and trust , 2005, WWW '05.

[13]  A. R. D. Mathias,et al.  NON‐WELL‐FOUNDED SETS (CSLI Lecture Notes 14) , 1991 .

[14]  Steffen Klamt,et al.  Hypergraphs and Cellular Networks , 2009, PLoS Comput. Biol..

[15]  Mark Levene,et al.  An object-oriented data model formalised through hypergraphs , 1991, Data Knowl. Eng..

[16]  Harold Boley,et al.  Declarative operations on nets , 1992 .

[17]  J. Girard,et al.  Proofs and types , 1989 .

[18]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[19]  Tim Sheard,et al.  WHAT IS A PROOF , 2005 .

[20]  Jeff Z. Pan,et al.  Resource Description Framework , 2020, Definitions.