Controlled query evaluation in description logics through consistent query answering.
Gianluca CimaDomenico LemboRiccardo RosatiDomenico Fabio SavoPublished in: Artif. Intell. (2024)
Keyphrases
- query evaluation
- consistent query answering
- description logics
- conjunctive queries
- dl lite
- data complexity
- inconsistent databases
- ontology languages
- query language
- integrity constraints
- query processing
- deductive databases
- knowledge base
- query answering
- data management
- query rewriting
- probabilistic databases
- reasoning tasks
- xml data
- transitive closure
- decision procedures
- query containment
- knowledge representation
- combined complexity
- constraint databases
- np complete
- databases
- data model
- exptime complete
- regular expressions
- relational queries
- xpath queries
- data cube