On Query Answering in Description Logics with Number Restrictions on Transitive Roles.
Víctor Gutiérrez-BasultoYazmín Angélica Ibáñez-GarcíaJean Christoph JungPublished in: Description Logics (2017)
Keyphrases
- transitive roles
- description logics
- query answering
- inverse roles
- number restrictions
- conjunctive query answering
- data exchange
- exptime complete
- knowledge base
- data complexity
- incomplete information
- integrity constraints
- data integration
- inconsistent databases
- computational properties
- reasoning tasks
- double exponential
- semantic web
- conjunctive queries
- ontology languages
- expressive power
- knowledge representation
- schema mappings
- answering queries
- model theoretic
- dl lite
- complexity bounds
- database schema
- databases
- data management
- machine learning