Finite Query Answering in Expressive Description Logics with Transitive Roles.
Tomasz GogaczYazmín Angélica Ibáñez-GarcíaFilip MurlakPublished in: KR (2018)
Keyphrases
- transitive roles
- query answering
- description logics
- regular path queries
- exptime complete
- conjunctive query answering
- data complexity
- data exchange
- double exponential
- conjunctive queries
- expressive power
- integrity constraints
- pspace complete
- owl dl
- answering queries
- knowledge base
- incomplete information
- query containment
- np complete
- data integration
- knowledge representation
- query rewriting
- artificial intelligence
- ontology languages
- datalog programs
- model checking
- dl lite
- inconsistent databases
- tuple generating dependencies
- data model
- semantic web