First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
Pablo BarcelóGerald BergerCarsten LutzAndreas PierisPublished in: CoRR (2020)
Keyphrases
- conjunctive queries
- probabilistic databases
- expressive power
- description logics
- query evaluation
- guarded fragment
- ontology based data access
- query answering
- first order logic
- query language
- semantic query
- primary key
- knowledge representation
- query containment
- query rewriting
- answering queries
- integrity constraints
- dl lite
- knowledge base
- semantic web
- response time
- query processing
- high level query language
- semantic information
- owl ontologies
- decision procedures
- domain ontology
- range queries
- horn clauses
- data complexity
- database queries
- domain specific
- np complete
- database
- data exchange
- search engine
- data model
- fixed point
- user queries
- incomplete information
- ontology mapping
- constraint databases
- domain knowledge
- special case
- uncertain data
- database systems
- query execution