Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract).
Stefan BorgwardtWalter ForkelPublished in: Description Logics (2019)
Keyphrases
- extended abstract
- closed world
- conjunctive queries
- data exchange
- open world
- null values
- query answering
- containment of conjunctive queries
- dl lite
- integrity constraints
- query evaluation
- schema mappings
- data complexity
- query containment
- derivation rules
- data integration
- ontology languages
- databases
- unions of conjunctive queries
- incomplete information
- database theory
- data management
- datalog programs
- semantic web
- stable model semantics
- np complete
- query language
- decision procedures
- query rewriting
- xml schema
- database schema
- functional dependencies
- logic programs
- special case
- knowledge base
- owl ontologies
- deductive databases
- description logics
- answer set programming
- logic programming
- database systems