Verification of Conjunctive-Query Based Semantic Artifacts.
Babak Bagheri HaririDiego CalvaneseGiuseppe De GiacomoRiccardo De MasellisPublished in: Description Logics (2011)
Keyphrases
- dl lite
- conjunctive queries
- query answering
- data complexity
- query rewriting
- query evaluation
- integrity constraints
- np complete
- query language
- special case
- data exchange
- natural language
- database theory
- decision procedures
- conjunctive query containment
- data integration
- semantic web
- phase transition
- normal form
- schema mappings
- answering queries
- model checking
- probabilistic databases
- bounded treewidth