Joachim Quantz: Modeling and Reasoning. Description Logics 1991: 97-100