Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.
Matthias BaazAgata CiabattoniChristian G. FermüllerPublished in: LPAR (2007)
Keyphrases
- query containment
- valued logic
- description logics
- decision procedures
- datalog programs
- number restrictions
- query answering
- transitive closure
- classical logic
- modal logic
- expressive power
- conjunctive queries
- propositional logic
- computational properties
- answering queries
- fuzzy logic
- inverse roles
- fuzzy sets
- first order logic
- automated reasoning
- knowledge representation
- regular path queries
- datalog queries
- knowledge base
- exptime complete
- deductive databases
- integrity constraints
- inference rules
- horizontal fragmentation
- social bookmarking
- logic programs
- truth values
- data complexity
- query rewriting
- regular expressions
- query evaluation
- fixpoint
- satisfiability problem
- data sources
- propositional calculus