Conjunctive Query Answering with Finitely Many Truth Degrees.
Stefan BorgwardtTheofilos P. MailisRafael PeñalozaAnni-Yasmin TurhanPublished in: Description Logics (2015)
Keyphrases
- conjunctive query answering
- description logics
- data complexity
- conjunctive queries
- query answering
- dl lite
- tuple generating dependencies
- expressive power
- combined complexity
- query evaluation
- exptime complete
- np complete
- data exchange
- inductive inference
- ontology languages
- integrity constraints
- knowledge base
- semantic web
- inconsistent databases
- reasoning tasks
- logic programming
- special case
- np hard
- query language
- knowledge representation
- model theoretic
- first order logic
- modal logic
- data integration