Alfred Kobsa: Reification in SB-ONE. Description Logics 1991: 72-74