Controlled Query Evaluation in Description Logics Through Instance Indistinguishability.
Gianluca CimaDomenico LemboRiccardo RosatiDomenico Fabio SavoPublished in: IJCAI (2020)
Keyphrases
- query evaluation
- description logics
- dl lite
- data complexity
- deductive databases
- conjunctive queries
- query language
- knowledge base
- query processing
- knowledge representation
- data management
- xml data
- probabilistic databases
- reasoning tasks
- semantic web
- transitive closure
- regular expressions
- owl ontologies
- exptime complete
- combined complexity
- ontology languages
- artificial intelligence
- databases
- expressive power
- special case
- computational complexity
- database systems