8 citations · 43 across the 20 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015
Inference From Visible Information And Background Knowledge
Michael Benedikt, Pierre Bourhis, Balder ten Cate +2
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 ---…
cs.LO2015★ 4 cited
Finite Open-World Query Answering with Number Restrictions (Extended Version)
Antoine Amarilli, Michael Benedikt
Open-world query answering is the problem of deciding, given a set of facts, conjunction of constraints, and query, whether the facts and constraints imply the query. This amounts…
cs.DB2015
Combining Existential Rules and Description Logics (Extended Version)
Antoine Amarilli, Michael Benedikt
Query answering under existential rules -- implications with existential quantifiers in the head -- is known to be decidable when imposing restrictions on the rule bodies such as f…