Meronomy или partonomy является тип иерархии , которая занимается часть-целое отношений, в отличие от систематики , чья категоризации базируется на дискретных множествах . Соответственно, единицей мерономической классификации является мерон , а единицей таксономической классификации - таксон . Эти концептуальные структуры используются в лингвистике и информатике , а также в биологии . Отношение части к целому иногда называют HAS-A , и оно соответствует композиции объекта в объектно-ориентированном программировании.. [1] Изучение мерономии известно как мереология , а в лингвистике мероним - это имя, данное составной части, субстанции или члену чего-либо. «X» является меронимом «Y», если X является частью Y. [2]
Пример
- У автомобилей есть детали: двигатель, фара, колесо
- У двигателей есть детали: картер, карбюратор.
- Фары состоят из деталей: лампы накаливания, отражателя.
В представлении знаний
Формально, в контексте представления знаний и онтологий , мерономия - это частичное упорядочение типов понятий по отношению «часть-целое». [3]
Классическое исследование частей и целого, мереология , имеет три аксиомы : [4] отношение части- отношения есть
- Переходный - «Части частей являются частями целого» - если A является частью B, а B является частью C, тогда A является частью C.
- Рефлексивно - «Все является частью самого себя» - А является частью А.
- Антисимметричный - «Ничто не является частью его частей» - если A является частью B и A ≠ B, то B не является частью A.
Мерономии могут быть представлены на языках семантической паутины, таких как OWL и SKOS . В естественных языках они представлены меронимами и голонимами .