Semantic Web - slide "Rules"

rules have been identified as a high priority by DAML+OIL users and are being addressed by the Joint Committee
many applications
- property chaining
  - e.g. specifying uncle in terms of parent and brother
- rewriting/transformation
- matching
- equivalence
- computation
- class definition
- trust
- proofs
- query
- completion/defaults
- ...
until DAML Rules, DAML+OIL can be used quite effectively with RuleML or native rule representations
some discussions take place on the [email protected] email list