10 citations · 17 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 2 cited
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov +2
We investigate the problem whether two ALC knowledge bases are indistinguishable by queries over a given vocabulary. We give model-theoretic criteria in terms of (partial) homomorp…
cs.DB2016
Expressivity and Complexity of MongoDB (Extended Version)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel +1
A significant number of novel database architectures and data models have been proposed during the last decade. While some of these new systems have gained in popularity, they lack…