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. In Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, editors, KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB 95, Bielefeld, Germany, Septtember 11-12, 1995. Volume 2 of CEUR Workshop Proceedings, CEUR-WS.org, 1995. [doi]
Abstract is missing.