Decidability and Undecidability Results for Propositional Schemata.
Vincent AravantinosRicardo CaferraNicolas PeltierPublished in: CoRR (2014)
Keyphrases
- description logics
- query containment
- propositional logic
- query answering
- knowledge base
- first order logic
- functional dependencies
- inverse roles
- conjunctive queries
- knowledge representation
- multi valued
- number restrictions
- computational properties
- answering queries
- database design
- satisfiability testing
- default logic
- strips planning
- probabilistic logic
- decision procedures
- knowledge compilation
- database
- truth maintenance systems
- search algorithm
- integrity constraints
- horn clauses
- database schema
- data types