Rule Requirements

Stefan Decker is collecting examples of what people would like to do with rules
- rewriting/transformation
- matching
- equivalence
- computation
- class definition
- trust
- proofs
- query
- completion/defaults
- ...
please send additions to Stefan