Hints for Reasoners

several DAML+OIL constructs are designed to provide additional information for reasoners
- allows them to infer additional statements from ground statements expressed explicitly