Expressiveness of guarded existential rule languages.
Georg GottlobSebastian RudolphMantas SimkusPublished in: PODS (2014)
Keyphrases
- expressive power
- query answering
- dl lite
- existentially quantified
- language independent
- data complexity
- highly expressive
- first order logic
- description logics
- association rules
- interchange format
- data exchange
- computational properties
- rule induction
- language identification
- cross lingual
- grammatical inference
- active databases
- data sets
- classification rules
- document images
- logic programs
- natural language
- databases