Keyphrases
- deduction rules
- transformation rules
- active rules
- rule language
- association rules
- default rules
- logical rules
- rule sets
- owl ontologies
- logic programming
- production rules
- highly expressive
- normal logic programs
- rule engine
- derivation rules
- neural network
- logic rules
- proof theory
- attribute values
- semantic constraints
- decision rules
- model checking
- semantic representation
- formal semantics
- active databases
- default reasoning