Roland Seiffert Sorted Feature terms and Relational Dependencies. 109-116 1991 Description Logics db/conf/dlog/dlog91.html#Seiffert91