Keyphrases
- logic programming
- deduction rules
- association rules
- transformation rules
- logical rules
- rule language
- formal semantics
- active rules
- derivation rules
- default rules
- owl ontologies
- production rules
- highly expressive
- textual entailment
- association rule mining
- np complete
- description logic programs
- neural network
- classification rules
- background knowledge
- domain knowledge
- data mining