Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints.
Franz BaaderBartosz BednarczykSebastian RudolphPublished in: ECAI (2020)
Keyphrases
- query answering
- transitive roles
- description logics
- dl lite
- conjunctive query answering
- ontology based data access
- data exchange
- ontology languages
- integrity constraints
- data complexity
- conjunctive queries
- computational properties
- data integration
- computational complexity
- tight complexity bounds
- knowledge base
- incomplete information
- answering queries
- query rewriting
- semantic web
- double exponential
- knowledge representation
- reasoning tasks
- datalog programs
- satisfiability problem
- functional dependencies
- first order logic
- regular path queries
- database schema
- tuple generating dependencies
- inverse roles
- np complete
- special case