Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies.
Stefan BorgwardtWalter ForkelPublished in: IJCAI (2019)
Keyphrases
- closed world
- conjunctive queries
- data exchange
- open world
- null values
- containment of conjunctive queries
- query answering
- integrity constraints
- dl lite
- query evaluation
- schema mappings
- data complexity
- derivation rules
- data integration
- unions of conjunctive queries
- databases
- query containment
- ontology languages
- relational databases
- decision procedures
- stable model semantics
- np complete
- incomplete information
- normal form
- data management
- query language
- query rewriting
- datalog programs
- database theory
- knowledge base
- deductive databases
- semantic web
- closed world assumption
- relational algebra
- functional dependencies
- rdf graphs
- xml schema
- description logics
- data dependencies
- knowledge representation
- logic programs
- domain ontology
- owl ontologies
- query optimization
- owl dl
- transitive closure
- object oriented