Skip to Main content Skip to Navigation
Journal articles

Inference from Visible Information and Background Knowledge

Abstract : We provide a wide-ranging study of the scenario where a subset of the relations in a relational vocabulary is visible to a user-that is, their complete contents are known-while the remaining relations are invisible. We also have a background theory-invariants given by logical sentences-that may relate the visible relations to invisible ones, and also may constrain both the visible and invisible relations in isolation. We want to determine whether some other information, given as a positive existential formula, can be inferred using only the visible information and the background theory. This formula whose inference we are concerned with is denoted as the query. We consider whether positive information about the query can be inferred, and also whether negative information-the sentence does not hold-can be inferred. We further consider both the instance-level version of the problem, where both the query and the visible instance are given, and the schema-level version, where we want to know whether truth or falsity of the query can be inferred in some instance of the schema.
Document type :
Journal articles
Complete list of metadata
Contributor : Pierre Bourhis Connect in order to contact the contributor
Submitted on : Monday, November 29, 2021 - 11:11:33 AM
Last modification on : Tuesday, January 4, 2022 - 6:17:00 AM


Files produced by the author(s)




Michael Benedikt, Pierre Bourhis, Balder Cate, Gabriele Puppis, Michael Boom. Inference from Visible Information and Background Knowledge. ACM Transactions on Computational Logic, Association for Computing Machinery, 2021, 22, pp.1 - 69. ⟨10.1145/3452919⟩. ⟨hal-03448703⟩



Les métriques sont temporairement indisponibles