Jürgen Allgayer Experiences in 'Hybridification': Enhancement of a term Subsumption Language to Cover Plural and Quantified Terms. 5-11 1991 Description Logics db/conf/dlog/dlog91.html#Allgayer91