Reset Nets Between Decidability and Undecidability.
Catherine DufourdAlain FinkelPhilippe SchnoebelenPublished in: ICALP (1998)
Keyphrases
- description logics
- query containment
- knowledge base
- query answering
- conjunctive queries
- inverse roles
- exptime complete
- transitive closure
- databases
- predictive state representations
- number restrictions
- dl lite
- answering queries
- decision procedures
- integrity constraints
- real world
- knowledge representation
- probabilistic planning
- incomplete information
- data exchange
- computational complexity
- decision trees
- information systems
- neural network
- data sets