The antecedents of DL languages are Network-based structures carrying the intuition that, by exploiting the notion of hierarchical structure, one could gain in terms of both ease of representation the efficiency of reasoning The basic elements of the representation are characterized as unary predicates, denoting sets of individuals, and binary predicates, denoting relationships between individu...