Showing 1–4 of 4 results for author: Boom, M V

Query Answering with Transitive and Linear-Ordered Data

Authors: Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Abstract: We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation to be transitive, restricting a relation to be the transitive closure of another relation, and restricting a relation to be a linear order. We give some natural… ▽ More We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation to be transitive, restricting a relation to be the transitive closure of another relation, and restricting a relation to be a linear order. We give some natural variants of guardedness that allow inference to be decidable in each case, and isolate the complexity of the corresponding decision problems. Finally we show that slight changes in these conditions lead to undecidability. △ Less

Submitted 17 February, 2022; originally announced February 2022.

Comments: This article was originally published at JAIR in 2018: https://www.jair.org/index.php/jair/article/view/11240 (DOI 10.1613/jair.1.11240). This version of the paper includes one modification from the publisher version: we fix an incorrect proof for one of our undecidability results (Theorem 6.2). arXiv admin note: substantial text overlap with arXiv:1607.00813

Definability and Interpolation within Decidable Fixpoint Logics

Authors: Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Abstract: We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as effective characterizations. Our algorithms revolve around a finer analysis of the tree-model property and a refinement of the method of moving back an… ▽ More We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as effective characterizations. Our algorithms revolve around a finer analysis of the tree-model property and a refinement of the method of moving back and forth between relational logics and logics over trees. △ Less

Submitted 9 September, 2019; v1 submitted 4 May, 2017; originally announced May 2017.

Journal ref: Logical Methods in Computer Science, Volume 15, Issue 3 (September 10, 2019) lmcs:4729

Query Answering with Transitive and Linear-Ordered Data

Authors: Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Abstract: We consider entailment problems involving powerful constraint languages such as guarded existential rules, in which additional semantic restrictions are put on a set of distinguished relations. We consider restricting a relation to be transitive, restricting a relation to be the transitive closure of another relation, and restricting a relation to be a linear order. We give some natural generaliza… ▽ More We consider entailment problems involving powerful constraint languages such as guarded existential rules, in which additional semantic restrictions are put on a set of distinguished relations. We consider restricting a relation to be transitive, restricting a relation to be the transitive closure of another relation, and restricting a relation to be a linear order. We give some natural generalizations of guardedness that allow inference to be decidable in each case, and isolate the complexity of the corresponding decision problems. Finally we show that slight changes in our conditions lead to undecidability. △ Less

Submitted 4 July, 2016; originally announced July 2016.

Comments: 36 pages. To appear in IJCAI 2016. Extended version with proofs

Journal ref: A journal version of this conference article was published in JAIR (Volume 63, 2018): https://www.jair.org/index.php/jair/article/view/11240

Inference From Visible Information And Background Knowledge

Authors: Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis, Michael Vanden Boom

Abstract: We provide a wide-ranging study of the scenario where a subset of the relations in a relational vocabulary are 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 --- which may relate the visible relations to invisible ones, and also may constrain both the visibl… ▽ More We provide a wide-ranging study of the scenario where a subset of the relations in a relational vocabulary are 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 --- which 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 concered with is denoted as the \emph{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. △ Less

Submitted 11 May, 2018; v1 submitted 5 September, 2015; originally announced September 2015.