Review for NeurIPS paper: Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs

The theoretical analysis of the model is insufficient. For example, the author does not give an analysis of the full expressiveness of the model. That is, given any world with correct answers of some first-order logic queries W and false answers Wc, does there exist an assignment for model parameters that correctly classifies the entities in W and Wc? The reviewer is especially curious about the theoretical analysis of the proposed probabilistic negation operator because there are no comparative empirical results on answering queries with negation (all existing models cannot deal with negation). On EPFO queries, the author compared the proposed model only with two baselines.