\mathcal{SOQ} with Number Restrictions on Transitive Roles.
Mark KaminskiGert SmolkaPublished in: IFIP TCS (2010)
Keyphrases
- transitive roles
- description logics
- inverse roles
- number restrictions
- query answering
- double exponential
- exptime complete
- conjunctive query answering
- dl lite
- reasoning tasks
- data complexity
- knowledge base
- knowledge representation
- semantic web
- data exchange
- conjunctive queries
- owl dl
- expressive power
- query rewriting
- ontology languages
- modal operators
- integrity constraints
- data integration