DAML+OIL: Key Features