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