Subsomption

Carte Peu commune · n° 191377

La subsomption désigne une relation d'inclusion entre des concepts, dans les logiques de description. Elle correspond à la relation hyponymie–hyperonymie en linguistique, c'est-à-dire deux termes dont le sens de l'un inclut celui de l'autre : la notion d'animal subsume celle de mammifère ; tout mammifère est forcément un animal. Cette notion est ainsi équivalente à la relation « contient » en logique ensembliste, ou encore « est impliqué par » en logique classique : mammifère implique animal. La relation de subsomption permet de construire un treillis de Galois à partir d'un ensemble d'individus et de propriétés. Exemples : Le concept humain subsume le concept fonctionnaire. Le concept électeur est subsumé par le concept majeur. Le concept pomme rouge est subsumé par le concept pomme. Le concept existant subsume les concepts permanent et impermanent. Les concepts causalement composé et produit se subsument mutuellement.

Lire sur Wikipédia