Sufficient Conditions for First-Order and Datalog Rewritability in ELU.
Mark KaminskiBernardo Cuenca GrauPublished in: Description Logics (2013)
Keyphrases
- sufficient conditions
- expressive power
- first order logic
- description logics
- function free horn
- ontology based data access
- conjunctive queries
- query answering
- data complexity
- asymptotic stability
- knowledge representation
- query language
- linear complementarity problem
- higher order
- exponential stability
- data exchange
- incomplete information
- knowledge base
- query rewriting
- dl lite
- data model
- special case
- efficiently computable
- asymptotic optimality
- datalog programs