On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds

Henrik Forssell, Evgeny Kharlamov, Evgenij Thorstensen

Data exchange heavily relies on the notion of incomplete database instances. Several semantics for such instances have been proposed and include open (OWA), closed (CWA), and open-…