Relation sémantique

Relation sémantique — une relation formalisée entre les entités d'un graphe de connaissances, normalisée en un noyau fini de prédicats : sous-type (is‑a), instance (instance‑of), partie-tout (part‑of), membre d'une collection, localisation/adjacence, avant/après, participation/rôle, propriété/valeur, causalité, identité/différence, possession, opposition. Cette page documente les formulations canoniques et les synonymes, les propriétés logiques et les correspondances avec les standards (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).

Noyau de base des relations sémantiques : normalisation et dictionnaire de synonymes

Formalisme (simplifié)	Relation de base (terme canonique)	Normalisation vers le noyau (fr.)	Verbe ou expression naturelle (synonymes)	Catégorie	Type (couche sémantique / mode d'utilisation)	Propriété clé
subclass-of / superclass-of	Sous-type (genre-espèce)	est un type de / a pour sous-type	est un (genre-espèce) est un type de sous-type espèce type	Taxonomie	Ontologique (noyau)	transitive ; héritage des axiomes/contraintes de classe (pas des valeurs de propriétés)
instance-of / has-instance	Instance	est une instance de / a pour instance	est une (instance) est un exemple de appartient à la classe est un membre de la classe représentant instance	Taxonomie	Ontologique (noyau)	individu → classe ; non transitive
part-of / has-part	Partie-tout (méronymie)	est une partie de / inclut	se compose de inclut a dans sa composition contient comme partie est assemblé à partir de est complété par des composants	Méronymie	Ontologique (contextuelle ; nécessite des spécifications de domaine)	transitive pour la méronymie componentielle ; ne pas confondre avec member-of ; sans héritage des valeurs de propriétés ; la transitivité ne se transfère pas aux types « membre-collection », « matériau-objet », « portion-masse » ; ne pas confondre avec subclass-of (genre-espèce)
derived-from / gives-rise-to	Origine/dérivation	provient de / donne naissance à	obtenu à partir de formé à partir de provient de dérivé de	Origine	Ontologique (contextuelle ; nécessite des spécifications de domaine)	dirigée ; non symétrique ; permet les chaînes
has-property / property-of	Propriété/attribut	a pour propriété / propriété de	a pour propriété a pour valeur possède la caractéristique se caractérise par a pour paramètre	Attribut	Ontologique (noyau)	dirigée ; non symétrique ; non transitive ; pour les qualités — utiliser le patron de conception has_quality/characteristic_of
located-in / contains	Localisation (inclusion)	se trouve dans / contient (en tant que lieu)	se trouve dans est situé à à l'intérieur de dans les limites de la zone sur le territoire de	Espace	Ontologique (contextuelle ; nécessite des spécifications de domaine)	dirigée ; transitive uniquement pour l'inclusion de zones dans un même modèle spatial ; dans d'autres interprétations, la transitivité n'est pas présumée
before / after	Chronologie	précède / suit	avant précédemment vient avant plus tard après ensuite	Temps	Ontologique (noyau)	transitive ; asymétrique ; irréflexive (ordre partiel strict)
precondition-of / postcondition-of	Condition/résultat d'un événement/action	est une précondition de / est une postcondition de	condition d'exécution précondition nécessaire pour requis pour résultat effet conséquence	Événements	Ontologique (contextuelle ; nécessite des spécifications de domaine)	dirigée ; non symétrique ; généralement acyclique ; contextuelle
participates-in / has-participant	Participation à un événement	participe à / a pour participant	participe à est impliqué dans est engagé dans prend part à	Événements	Ontologique (noyau)	dirigée ; non symétrique ; non transitive
has-role / role-of	Rôle (thématique)	joue le rôle de / rôle de	joue le rôle de agit en tant que agit comme sert de est un agent est un patient est un instrument	Rôles	Ontologique (contextuelle ; nécessite des spécifications de domaine)	dirigée ; non symétrique ; se réalise dans un événement/processus
member-of / has-member	Membre d'une collection	est membre de / a pour membres	appartient au groupe fait partie de l'équipe membre de la collection fait partie du groupe élément de l'ensemble	Collections/appartenance (non méronymie)	Ontologique (noyau)	dirigée ; non symétrique ; pas de transitivité ; ne pas confondre avec part-of (composants)
causes / caused-by	Causalité	cause / est causé par	conduit à provoque entraîne conditionne mène à est la cause de	Cause à effet	Ontologique (contextuelle ; nécessite des spécifications de domaine)	dirigée ; asymétrique ; acyclique dans le cadre temporel du domaine ; pour une influence faible, utiliser prov:wasInfluencedBy
owns / owned-by (belongs-to)	Possession/appartenance	possède / appartient à	possède est propriétaire de est en possession de est inscrit au bilan appartient à	Appartenance	Ontologique (contextuelle ; nécessite des spécifications de domaine)	dirigée ; non symétrique ; non transitive ; distinguer la possession légale de la détention effective (ne pas confondre avec located-in)
same-as / same-as (sym.)	Identité (équivalence)	est identique à / est identique à	est identique à est équivalent à est la même chose que coïncide avec	Équivalence	Ontologique (noyau ; à utiliser avec prudence)	réflexive ; symétrique ; transitive
different-from / different-from (sym.)	Différence/incompatibilité	est différent de / est différent de	n'est pas identique à est différent de est incompatible avec ne coïncide pas	Différence	Ontologique (noyau)	symétrique ; irréflexive
adjacent-to / adjacent-to (sym.)	Adjacence (topologie)	est adjacent à / est adjacent à	est limitrophe de est contigu à est voisin de est en contact avec	Topologie	Ontologique (noyau)	symétrique ; irréflexive ; pas de transitivité
opposite-of / opposite-of (sym.)	Opposition (antonymie)	est l'opposé de / est l'opposé de	est l'opposé de est antonyme de est de qualité contraire est contraire à est opposé à	Lexico-sémantique	Lexicale/thésaurale (ne pas axiomatiser)	relation lexico-sémantique ; symétrique ; ne pas utiliser comme axiome ontologique ; il est préférable de modéliser via des échelles qualitatives et la disjonction de classes

Légende des types :

• Ontologique (noyau) — admet une axiomatisation en OWL sans réserves particulières ;
• Ontologique (contextuelle ; nécessite des spécifications de domaine) — l'interprétation et les inférences dépendent du domaine/modèle ;
• Lexicale/thésaurale (ne pas axiomatiser) — uniquement pour le lexique/KOS, ne pas utiliser pour l'inférence logique.

Correspondance des relations sémantiques de base avec les standards d'ontologies

Relation de base (noyau)	Relation de base (terme canonique)	RDF/RDFS/Dublin Core	SKOS	OWL / OWL‑Time / GeoSPARQL	OBO RO / BFO (le cas échéant)	Schema.org / autres	Remarques
subclass-of	Sous-type (genre-espèce)	rdfs:subClassOf	skos:broader / skos:narrower	— (dans OWL, on utilise rdfs:subClassOf)	—	—	Hiérarchie de classes ; transitive ; héritage des axiomes/contraintes (pas des valeurs). Dans SKOS, hiérarchie de thésaurus (non transitive par défaut ; il existe skos:broaderTransitive / skos:narrowerTransitive). L'équivalence de classes est définie séparément : owl:equivalentClass.
instance-of	Instance	rdf:type	—	owl:Class / owl:NamedIndividual	—	schema:additionalType	Typage « individu → classe » (non transitif). Le typage multiple est autorisé. Ne pas confondre avec subclass-of (classe → classe).
part-of / has-part	Partie-tout (méronymie)	dcterms:isPartOf / dcterms:hasPart	—	owl:ObjectProperty personnalisée (souvent déclarée comme owl:TransitiveProperty)	bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part	schema:isPartOf / schema:hasPart	Méronymie structurelle/componentielle ; transitive pour le « part_of » componentiel. Ne pas confondre avec l'appartenance (member-of).
member-of / has-member	Membre d'une collection	rdfs:member	skos:member / skos:memberList	—	ro:member_of / ro:has_member	schema:member / schema:memberOf ; org:memberOf / org:hasMember	rdfs:member est historiquement lié aux conteneurs RDF ; super-propriété des propriétés de conteneur numérotées rdf:_1, rdf:_2, ... ; pour les groupes/organisations, il est préférable d'utiliser schema.org ou W3C ORG. Non transitive. Diffère de la relation composant-tout (component-whole).
located-in / contains	Localisation (inclusion)	dcterms:spatial	—	geosparql:sfWithin / geosparql:sfContains	ro:located_in	schema:containedInPlace / schema:containsPlace ; schema:location	Pour la géométrie stricte — GeoSPARQL (DE-9IM ; inclusion de zones). Dans GeoSPARQL, la transitivité n'est pas annotée comme owl:TransitiveProperty ; elle est admissible comme une hypothèse du modèle pour les hiérarchies de zones. dcterms:spatial est une liaison référentielle « souple ». Dans RO, ro:located_in est déclarée transitive ; au niveau applicatif, précisez le domaine/type de localisation (administrative, anatomique, etc.) pour que la transitivité soit valide dans votre modèle.
adjacent-to / overlaps	Adjacence / chevauchement (topologie)	—	(si nécessaire) skos:related	geosparql:sfTouches / geosparql:sfOverlaps	—	—	Relations différentes (touches ≠ overlaps) ; les deux sont symétriques ; pas de transitivité. En termes de DE-9IM : touches — se touchent par les frontières ; overlaps — intersection avec une intersection non vide des intérieurs.
before / after	Séquence temporelle (avant/après)	—	—	time:before / time:after ; aussi time:intervalBefore / time:intervalAfter	bfo:precedes / bfo:preceded_by	—	Modélisé comme un ordre partiel strict. Dans OWL-Time, la transitivité est explicitement définie ; l'asymétrie/irréflexivité sont définies si nécessaire par des axiomes dans l'ontologie du projet.
participates-in / has-participant	Participation à un événement	—	—	—	ro:participates_in / ro:has_participant	sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer	Participation ≠ rôle ; pour les rôles, voir has-role.
has-role / role-of	Rôle (rôles thématiques)	—	—	owl:ObjectProperty personnalisée	ro:has_role / ro:role_of ; bfo:Role	prov:hadRole (dans prov:qualifiedAssociation) ; schema:Role (classe), schema:roleName	Les rôles se réalisent dans des événements/processus ; ne pas confondre avec le typage (instance-of).
has-property / has-value	Propriété / valeur	rdf:value (liaison de valeur générale)	—	owl:DatatypeProperty / owl:ObjectProperty (types de propriétés)	ro:has_quality / ro:characteristic_of	schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue	Pour les qualités, le patron de conception de RO (quality/characteristic of) est pratique. owl:hasValue est un constructeur dans les restrictions (et non une propriété ordinaire).
causes	Causalité	—	—	—	ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of	prov:wasInfluencedBy	Lien causal dirigé ; généralement acyclique. Préciser le contexte temporel et le domaine de définition.
same-as	Identité (équivalence)	—	skos:exactMatch / skos:closeMatch	owl:sameAs ; pour les classes/propriétés : owl:equivalentClass / owl:equivalentProperty	—	schema:sameAs	À utiliser avec prudence. skos:exactMatch/closeMatch — uniquement pour les concepts SKOS, principalement entre différents schémas (propriétés de mapping) ; parmi les propriétés de mapping, seule skos:exactMatch est transitive (les deux sont symétriques) ; ne pas confondre avec owl:sameAs (identité des ressources).
different-from	Différence / incompatibilité	—	—	owl:differentFrom ; owl:AllDifferent ; pour les classes : owl:disjointWith ; aussi owl:AllDisjointClasses / owl:AllDisjointProperties	—	—	Distinction explicite des individus et non-recouvrement des classes/propriétés (sur des ensembles — AllDisjoint).
owns / owned-by (belongs-to)	Possession / appartenance	—	—	owl:ObjectProperty personnalisée	—	schema:owns ; schema:OwnershipInfo	Il est recommandé de définir le domaine/l'image et les cardinalités ; distinguer la possession légale de la détention effective (ne pas confondre avec located-in).
opposite-of	Opposition (antonymie)	—	—	—	—	(lexique) lexinfo:antonym ; WordNet antonym	Relation lexicale ; ne pas utiliser comme axiome ontologique. Dans les KOS, en l'absence de propriété stricte, skos:related est toléré.
derived-from / gives-rise-to	Origine / dérivation	—	—	—	(si nécessaire dans les bio-ontologies) ro:develops_from	PROV‑O: prov:wasDerivedFrom	Dérivation dirigée ; permet les chaînes. À distinguer de la méronymie (part-of) et de l'identité (same-as).
precondition-of / postcondition-of	Pré/post-condition d'événement/action	—	—	—	—	OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (historiquement : process:hasEffect)	À utiliser pour les ontologies de processus. Dans des modèles alternatifs — via la causalité/le temps (bfo:precedes, time:before) ou des patrons PROV (prov:used, prov:wasGeneratedBy) — selon le contexte.
related-to	Relation associative (KOS)	—	skos:related	—	—	—	Symétrique ; pas de transitivité. À utiliser uniquement dans les thésaurus/KOS ; sémantique faible — ne pas utiliser pour l'inférence logique.

Principales ontologies et vocabulaires

• RDF et RDFS (W3C) — RDF : modèle abstrait de graphe de connaissances basé sur des triplets sujet-prédicat-objet ; RDFS : vocabulaire minimal pour définir des classes/propriétés et des hiérarchies (subClassOf, subPropertyOf, domain/range).
• OWL / OWL 2 (W3C) — langage de représentation des connaissances pour la définition formelle d'ontologies (classes, axiomes, types et inversions de propriétés, équivalence/disjonction), conçu pour l'inférence automatique en logique de description (DL).
• SKOS (W3C) — modèle pour la représentation de thésaurus, de classifications et de vocabulaires contrôlés au-dessus de RDF/RDFS (broader/narrower/related, collections, correspondances inter-thésaurus) ; ne définit pas d'héritage de classe.
• OWL‑Time (W3C) — ontologie du temps en OWL 2 DL : instants, intervalles, relations topologiques (before/after), durées et positions calendaires.
• GeoSPARQL (OGC) — standard OGC pour la géosémantique : une petite ontologie OWL d'« entités spatiales/géométries », un vocabulaire de relations topologiques (within/contains, touches/overlaps, etc.) et des extensions SPARQL pour les requêtes géospatiales.
• BFO et RO (OBO) — BFO : ontologie de haut niveau (continuant/occurrent, etc.) pour l'harmonisation des ontologies de domaine ; RO (Relations Ontology) : un ensemble inter-domaines de prédicats relationnels (part_of/has_part, participates_in, relations causales, etc.).
• PROV‑O (W3C) — ontologie OWL pour la provenance des données, qui implémente le modèle PROV-DM : entités, activités, agents et leurs relations pour l'échange et l'analyse des informations de provenance.
• Schema.org — vocabulaire web appliqué pour le balisage de données structurées sur les pages web (JSON‑LD/RDFa/Microdata) ; initiative des moteurs de recherche (2011) pour unifier les types et propriétés sur le web ouvert.

Principales ontologies et vocabulaires : liens officiels

Nom	Organisme / statut	Documentation officielle
RDF 1.2 Concepts and Abstract Data Model	W3C Working Draft (2025)	Page de la spécification
RDF 1.2 Schema (RDFS)	W3C Working Draft (2025 ; révision de la version 2014 sans modifications techniques)	Page de la spécification
DCMI Metadata Terms (Dublin Core Terms)	DCMI Specification (2020)	Page de la spécification
OWL 2 Web Ontology Language	W3C Recommendation (2012, 2e éd.)	Vue d'ensemble/feuille de route des spécifications OWL 2
SKOS Reference	W3C Recommendation (2009)	Page de la spécification
Time Ontology in OWL (OWL‑Time)	W3C Candidate Recommendation Draft (2022)	Page de la spécification
GeoSPARQL 1.1	OGC Implementation Standard	Page du standard OGC · Document du standard (OGC 22‑047r1)
Basic Formal Ontology (BFO)	OBO Foundry (ontologie de haut niveau)	Fiche/documentation officielle
OBO Relations Ontology (RO)	OBO Foundry (relations)	Fiche/documentation officielle
PROV‑O: The PROV Ontology	W3C Recommendation (2013)	Page de la spécification
The Organization Ontology (ORG)	W3C Recommendation (2014)	Page de la spécification
Schema.org (documentation)	Documentation officielle du projet	Schémas et documentation
LexInfo (ontologie lexico-sémantique)	Site officiel / ontologie	Site officiel · OWL 3.0