Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract).

Claudia Cauli Magdalena Ortiz Nir Piterman

Published 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