Если существительные естественного языка не
Если существительные естественного языка не используются, любое обсуждение осмысленности определения отношения представляется спорным.
Если предположить, что R, каждое Ri
и каждое Rij (на ) являются существительными естественного языка, необходимы пять семантических условий, чтобы определение отношения специфицировало агрегацию и обобщение.
- Каждый R-индивидуум должен определять некоторый уникальный Ri-индивидуум.
- Никакие два R-индивидуума не определяют одно и то же множество Ri-индивидуумов для всех Ri, селекторы которых принадлежат "списку ключей".
- Каждый Rij-индивидуум должен также быть R-индивидуумом.
- Каждый R-индивидуум, классифицируемый как Rij, должен также быть Rij-индивидуумом.
- Никакой Rij-индивидуум не является также Rik-индивидуумом при j ? k.
Под R-индивидуумом (Ri- или Rij-индивидуумом) мы понимаем некоторый экземпляр родового объекта R (Ri или Rij) в том виде, как он появляется в реальном мире.
Первые два условия являются необходимыми для абстракции агрегации и обсуждаются в . Остальные три условия являются необходимыми для абстракции обобщения. Условие (iii) обеспечивает, чтобы Rij являлось подклассом R и, таким образом, чтобы Rij
могло быть обобщено до R. Например, в моторизованные транспортные средства V1, V3 и V5 являются также транспортными средствами. Условие (iv) обеспечивает, чтобы Rij содержало все R-индивидуумы, классифицированные как относящиеся к Rij. Например, в "моторизованное транспортное средство" содержит все транспортные средства, классифицированные таким образом в "транспортном средстве". Условие (v) обеспечивает, чтобы кластеры содержали взаимно-исключающие классы.
Будем говорить, что отношение является правильно определенным (well-defined), если его определение удовлетворяет пяти приведенным выше семантическим требованиям.
Содержание Назад Вперед