Terminological Reasoning by Query Evaluation: A Formal Mapping of a Terminological Logic to an Object Data Model
