Decidability and Undecidability Results for Duration Calculus.
Zhou ChaochenMichael R. HansenPeter SestoftPublished in: STACS (1993)
Keyphrases
- description logics
- number restrictions
- inverse roles
- query containment
- type checking
- computational properties
- knowledge base
- knowledge representation
- exptime complete
- query answering
- tableau calculus
- conjunctive queries
- dl lite
- automated deduction
- answering queries
- computer algebra
- neural network
- decision procedures
- query processor
- natural deduction
- provably correct
- transitive closure
- data management
- database query languages
- special case
- data model
- machine learning