Re: общее-частное vs абстрактное-конкретное
Согласен, неточно выразился: я имел ввиду включенность в [общую] информационную модель в качестве ее частей описаний разных уровней абстракции, т.е. вариант "различных частичных описаний против более полных". Я вполне различаю типы отношений аггрегации (is_part_of) и обобщения (is_a). Но есть и другие примеры: тигр is_a животное, но ТигрВаська не is_a тигр -- там другое отношение, конкретизации (экземплификации, а не специализации).
Я к тому, что парой типов отношений не обойдешься, их больше.