Keyphrases
- deduction rules
- transformation rules
- logical rules
- default rules
- active rules
- rule language
- rule extraction
- production rules
- association rules
- fixpoint semantics
- rule engine
- decision rules
- inference engine
- uncertain information
- reduction method
- owl ontologies
- default reasoning
- business rules
- normal logic programs
- reasoning mechanisms
- association rule mining
- logic programming
- logic programs
- proof theoretic
- fuzzy sets
- fuzzy logic