[PDF] Towards Automated Reasoning on ORM Schemes. -Mapping ORM into the DLR