Rewritability Results for OMQs with Closed Predicates.
Magdalena OrtizPublished in: Description Logics (2020)
Keyphrases
- description logics
- expressive power
- conjunctive queries
- knowledge base
- boolean expressions
- query language
- datalog programs
- query evaluation
- np complete
- dl lite
- queueing networks
- knowledge representation
- data complexity
- open or closed
- horn clauses
- query answering
- integrity constraints
- first order logic
- user defined
- dynamic environments
- semantic web
- np hard
- predicate invention
- data sets