DAML Rules
- effort to add rules to ontologies
- intended usage
- property chaining
(e.g. expressing
uncle
in terms of brother and child)
- translation (e.g.
parent and gender to mother)
- computation (e.g.
age from birthDate)
- inference (e.g. 2
siblings have the same father)
- ...
- Benjamin Grosof and Ian Horrocks working on theory to
combine Description Logics and Logic Programming
- loose coordination with
Rule Markup Language (RuleML) Initiative
