Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security.
Claudia CauliMagdalena OrtizNir PitermanPublished in: KR (2021)
Keyphrases
- open world
- closed world
- dl lite
- query answering
- data exchange
- description logics
- incomplete information
- data complexity
- conjunctive queries
- cloud computing
- cloud services
- data integration
- query rewriting
- integrity constraints
- schema mappings
- knowledge base
- data center
- data management
- null values
- first order logic
- cloud storage
- query language
- computational properties
- knowledge representation and reasoning
- relational databases
- database systems