Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract).
Claudia CauliMagdalena OrtizNir PitermanPublished in: Description Logics (2021)
Keyphrases
- extended abstract
- open world
- closed world
- dl lite
- query answering
- data exchange
- description logics
- incomplete information
- cloud computing
- conjunctive queries
- cloud services
- data complexity
- knowledge base
- cloud storage
- data integration
- query rewriting
- reasoning tasks
- data center
- data management
- integrity constraints
- null values
- stable model semantics
- schema mappings
- expressive power
- first order logic
- computational properties
- database
- semantic web
- knowledge representation
- multi agent
- databases
- data sets