Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract).
Bartosz BednarczykEmanuel KieronskiPublished in: Description Logics (2021)
Keyphrases
- extended abstract
- conjunctive queries
- conjunctive query answering
- description logics
- dl lite
- unions of conjunctive queries
- transitive roles
- query answering
- special case
- data complexity
- query evaluation
- integrity constraints
- data exchange
- np complete
- tight complexity bounds
- knowledge base
- decision procedures
- tuple generating dependencies
- query language
- probabilistic databases
- combined complexity
- query rewriting
- query containment
- reasoning tasks
- computational properties
- knowledge representation
- datalog programs
- expressive power
- double exponential
- relational queries
- semantic web
- data integration
- query optimization
- first order logic
- inverse roles
- computational complexity
- incomplete information
- functional dependencies
- artificial intelligence