资源论文Mixed-World Reasoning with Existential Rules under Active-Domain Semantics

Mixed-World Reasoning with Existential Rules under Active-Domain Semantics

2019-10-08 | |  97 |   51 |   0

 Abstract In this paper, we study reasoning with existential rules in a setting where some of the predicates may be closed (i.e., their content is fully specifified by the data instance) and the remaining open predicates are interpreted under active-domain semantics. We show, unsurprisingly, that the main reasoning tasks (satisfifiability and certainty / possibility of Boolean queries) are all intractable in data complexity in the general case. However, several positive (PTIME data) results are obtained for the linear fragment, and interestingly, these tractability results hold also for various extensions, e.g., with negated closed atoms and disjunctive rule heads. This motivates us to take a closer look at the linear fragment, exploring its expressivity and defifining a fifixpoint extension to approximate non-linear rules

上一篇:Estimating Causal Effects of Tone in Online Debates

下一篇:MSR: Multi-Scale Shape Regression for Scene Text Detection

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...