Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning

Summary: Introduces “harmless” EGDs, strictly extending separable constraints while retaining expressive equality reasoning in Warded Datalog+/-. Proves decidable, PTIME query answering, gives a syntactic test and chase-based Vadalog implementation with experiments. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 13095
Venue: VLDB
Year: 2022
Pagerank: 5.2557598e-05
Overall Rank: 9,522 | 34.68%
DOI: 10.14778/3565838.3565850

Incoming Non-self Citations Over Time

Authors

1. Luigi Bellomarini (Banca d'Italia)
2. Davide Benedetto (Roma Tre University)
3. Matteo Brandetti (Vienna University of Technology)
4. Emanuel Sallinger (University of Oxford; Vienna University of Technology)

BibTeX Citation

@article{bellomarini_vldb22,
        title = {{Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning}},
        author = {Bellomarini, Luigi and Benedetto, Davide and Brandetti, Matteo and Sallinger, Emanuel},
        journal = {PVLDB},
        series = {{VLDB} '22},
        volume = {15},
        number = {13},
        pages = {3976--3988},
        doi = {10.14778/3565838.3565850},
        url = {https://doi.org/10.14778/3565838.3565850},
        year = {2022}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,959	Datalog with First-Class Facts	2025	VLDB	5.1879626e-05
11,053	Vadacode: A Logician-friendly IDE for Datalog±	2025	VLDB	5.093636e-05
13,395	KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs	2023	VLDB	-

Outgoing Citations (Sorted by Pagerank)

Showing 16 of 16 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
40	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00046918506
490	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.000175757
525	The Chase Revisited	2008	PODS	0.00017118255
874	On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases	2003	PODS	0.00013481551
971	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012875736
1,541	Generalized Schema-Mappings: From Termination To Tractability	2009	PODS	0.00010427058
1,652	The iBench Integration Metadata Generator	2016	VLDB	0.00010109142
2,481	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.5196153e-05
2,544	Advanced Processing for Ontological Queries	2010	VLDB	8.4444438e-05
2,634	Benchmarking the Chase	2017	PODS	8.3210907e-05
2,947	Querying with Access Patterns and Integrity Constraints	2015	VLDB	7.9325276e-05
4,655	DEMo: Data Exchange Modeling Tool	2009	VLDB	6.5837448e-05
4,750	That's All Folks! LLUNATIC Goes Open Source	2014	VLDB	6.5247192e-05
4,920	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.4449498e-05
4,943	Datalog Unchained	2021	PODS	6.4332239e-05
8,236	PDQ: Proof-driven Query Answering over Web-based Data	2014	VLDB	5.460452e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	11,129	Chase Termination Beyond Polynomial Time	2024	PODS
2	2,481	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS
3	11,893	Containment for Rule-Based Ontology-Mediated Queries	2018	PODS
4	2,544	Advanced Processing for Ontological Queries	2010	VLDB
5	6,221	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS
6	11,584	Rewriting the Infinite Chase	2022	VLDB
7	11,336	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB
8	11,630	Model-theoretic Characterizations of Rule-based Ontologies	2021	PODS
9	4,920	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB
10	7,045	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB