Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles.
Mark KaminskiGert SmolkaPublished in: Description Logics (2009)
Keyphrases
- transitive roles
- description logics
- inverse roles
- number restrictions
- query answering
- decision procedures
- modal logic
- exptime complete
- unions of conjunctive queries
- conjunctive query answering
- double exponential
- modal operators
- knowledge base
- conjunctive queries
- functional dependencies
- reasoning tasks
- data complexity
- knowledge representation
- semantic web
- expressive power
- answering queries
- pspace complete
- integrity constraints
- ontology languages
- data exchange
- automated reasoning
- databases
- query rewriting
- relational databases
- expert systems
- natural language