Keyphrases
- description logics
- first order logic
- knowledge base
- description logic programs
- association rules
- expressive power
- database
- np complete
- owl ontologies
- learning classifier systems
- rule sets
- association rule mining
- knowledge representation
- query processing
- classification rules
- search algorithm
- database systems
- horn clauses
- machine learning
- dl lite
- databases