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

Ulrich Reimer Peter Lippuner Moira C. Norrie Michael Rys Terminological Reasoning by Query Evaluation: A Formal Mapping of a Terminological Logic to an Object Data Model. 1995 conf/krdb/95 KRDB db/conf/krdb/krdb95.html#ReimerLNR95 KRDB1995/X05.pdf http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-2/reimer.ps