Temporal Query Answering in the Description Logic DL-Lite.
Stefan BorgwardtMarcel LippmannVeronika ThostPublished in: FroCos (2013)
Keyphrases
- dl lite
- query answering
- description logics
- conjunctive query answering
- data complexity
- data exchange
- conjunctive queries
- integrity constraints
- incomplete information
- query rewriting
- answering queries
- data integration
- knowledge base
- reasoning tasks
- unions of conjunctive queries
- first order logic
- inconsistent databases
- transitive roles
- computational complexity
- expressive power
- owl ontologies
- relational databases
- database
- complexity of query answering