Finite Open-world Query Answering with Number Restrictions.
Antoine AmarilliMichael BenediktPublished in: ACM Trans. Comput. Log. (2020)
Keyphrases
- query answering
- open world
- unions of conjunctive queries
- number restrictions
- data exchange
- dl lite
- data complexity
- incomplete information
- conjunctive queries
- closed world
- answering queries
- data integration
- integrity constraints
- description logics
- inverse roles
- query rewriting
- datalog programs
- schema mappings
- decision procedures
- query containment
- data management
- logic programs
- database systems
- knowledge base
- artificial intelligence
- database