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
sibling
s 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