Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints.
Franz BaaderBartosz BednarczykSebastian RudolphPublished in: CoRR (2020)
Keyphrases
- query answering
- transitive roles
- description logics
- dl lite
- conjunctive query answering
- ontology based data access
- data complexity
- data exchange
- integrity constraints
- ontology languages
- tight complexity bounds
- computational properties
- conjunctive queries
- incomplete information
- data integration
- knowledge base
- computational complexity
- reasoning tasks
- knowledge representation
- decision procedures
- answering queries
- query rewriting
- semantic web
- exptime complete
- double exponential
- query containment
- np complete
- unions of conjunctive queries
- database
- inconsistent databases
- tuple generating dependencies
- inverse roles
- logic programs
- first order logic
- data model
- databases