DAML Rules
- extends ontology language
- allows additional inferences,
e.g. an employee of a subsidiary Company is also an employee of its parent
- ontology translation,
e.g. define uncle in terms of parent and brother
- ...
- Requirements and Use Cases
document in progress