Finite open-world query answering with number restrictions
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 to reasoning over all instances that include the facts and satisfy the constraints. We study finite open-world query ans...
Главные авторы: | Amarilli, A, Benedikt, M |
---|---|
Формат: | Journal article |
Язык: | English |
Опубликовано: |
Association for Computing Machinery
2020
|
Схожие документы
-
Query answering with transitive and linear-ordered data
по: Vanden Boom, M, и др.
Опубликовано: (2016) -
Query answering with transitive and linear-ordered data
по: Amarilli, A, и др.
Опубликовано: (2018) -
When can we answer queries using result-bounded data interfaces?
по: Amarilli, A, и др.
Опубликовано: (2018) -
When Can We Answer Queries Using Result-Bounded Data Interfaces?
по: Antoine Amarilli, и др.
Опубликовано: (2022-06-01) -
Querying schemas with access restrictions
по: Benedikt, M, и др.
Опубликовано: (2012)