Une relation méronymique indiquant qu'une entité (la partie) est constituante, composante ou membre d'une autre entité (le tout) ; elle exprime l'inclusion compositionnelle plutôt que la subsomption de classe et présente une asymétrie et des propriétés de transitivité dépendant du contexte.

Principe

Partie–Tout capture l'inclusion compositionnelle : la partie contribue à la structure ou à la fonction du tout mais n'est pas une sous‑classe du tout ; la relation est généralement asymétrique et peut être transitive ou non selon la hiérarchie des parties modélisée.

Démonstration

Scénario illustratif : Roue (partie) — Voiture (tout). Situation → Reconnaissance : le catalogueur enregistre Roue comme composant de Voiture ; Action : un système de pièces détachées utilise les liens partie–tout pour trouver des roues de rechange pour un modèle donné ; Conséquence : le système retourne des spécifications de roues associées à la voiture sans traiter les roues comme instances de la classe voiture.

Mauvaise application

Traiter la relation partie–tout comme une sous‑classe (est‑un) et utiliser l'appartenance en tant qu'inférence de type ; l'erreur sémantique est de confondre inclusion compositionnelle et subsomption taxonomique.

Conséquence

Modélisée correctement, la relation partie–tout prend en charge la recherche de composants, le raisonnement sur les assemblages et les flux de maintenance ; une mauvaise modélisation conduit à des inférences de type incorrectes, des agrégations erronées et des recherches ou analyses trompeuses.

Inversion

Dans certains cadres conceptuels (par ex. lors de la modélisation de « rôles » ou d'ensembles abstraits), des énoncés apparemment partie–tout peuvent être plutôt de l'appartenance, de l'agrégation ou du regroupement conceptuel, nécessitant d'autres relations et règles d'inférence.

Limite

Clairement dans le champ : un composant physique intégré fonctionnellement dans un artefact plus grand. Cas‑limite : sous‑unités organisationnelles (un département comme partie d'une institution) où l'appartenance, le contrôle et les limites sont flous. Clairement hors du champ : sous‑classe taxonomique, relation associative ou simple co‑occurrence.

Tension sémantique

Intégrité Tout–Partie ↔ Typage/Généralisation — la modélisation doit choisir entre exprimer l'intégrité compositionnelle et affirmer des relations de généralisation ; les confondre compromet des inférences correctes.

Synthèse

La relation Partie–Tout encode la composition, non la classification : une modélisation précise exige des décisions explicites sur la transitivité, l'attachement temporel et le statut ontologique des parties pour préserver des inférences correctes en aval.