Relazione semantica

Relazione semantica — relazione formalizzata tra entità di un grafo della conoscenza, normalizzabile a un nucleo finito di predicati: sottotipo (is‑a), istanza (instance‑of), parte–tutto (part‑of), membro di collezione, localizzazione/adiacenza, prima/dopo, partecipazione/ruolo, proprietà/valore, causalità, identità/differenza, possesso, opposizione. La pagina fissa le formulazioni canoniche e i sinonimi, le proprietà logiche e le corrispondenze con gli standard (RDF/RDFS, SKOS, OWL/OWL‑Time, GeoSPARQL, OBO RO/BFO, PROV‑O, Schema.org).

Nucleo di base delle relazioni semantiche: normalizzazione e dizionario dei sinonimi

Formalismo (semplificato)	Relazione di base (parola canonica)	Normalizzazione al nucleo	Verbo naturale, frase (sinonimi)	Categoria	Tipo (livello semantico / modalità d'uso)	Proprietà chiave
subclass-of / superclass-of	Sottotipo (genere–specie)	è una specie di / ha sottotipo	è (genere–specie) questo è (genere–specie) sottotipo specie tipo	Tassonomia	Ontologica (nucleo)	transitiva; ereditarietà degli assiomi/vincoli della classe (non dei valori delle proprietà)
instance-of / has-instance	Istanza	è un'istanza di / ha istanza	è (istanza) questo è (istanza) appartiene alla classe fa parte della classe rappresentante istanza	Tassonomia	Ontologica (nucleo)	individuo → classe; non transitiva
part-of / has-part	Parte–tutto (meronimia)	è parte di / include	è composto da include contiene come componente contiene come parte assemblato da dotato di componenti	Meronimia	Ontologica (contestuale; richiede avvertenze di dominio)	transitiva per la meronimia componenziale; non confondere con member-of; senza ereditarietà dei valori delle proprietà; la transitività non si trasferisce ai tipi «membro–collezione», «materiale–oggetto», «porzione–massa»; non confondere con subclass-of (genere–specie)
derived-from / gives-rise-to	Origine/derivazione	deriva da / genera	ottenuto da formato da deriva da dedotto da	Origine	Ontologica (contestuale; richiede avvertenze di dominio)	direzionale; non simmetrica; ammette catene
has-property / property-of	Proprietà/attributo	ha proprietà / proprietà di	ha proprietà ha valore possiede caratteristica è caratterizzato da ha parametro	Attributo	Ontologica (nucleo)	direzionale; non simmetrica; non transitiva; per le qualità — pattern has_quality/characteristic_of
located-in / contains	Localizzazione (annidamento)	si trova in / contiene (come luogo)	si trova in è situato in all'interno di nei limiti dell'area sul territorio di	Spazio	Ontologica (contestuale; richiede avvertenze di dominio)	direzionale; transitiva solo per l'annidamento di regioni nello stesso modello spaziale; in altre interpretazioni la transitività non è presupposta
before / after	Cronologia	precede / segue	prima precedente a va prima di dopo successivo a poi	Tempo	Ontologica (nucleo)	transitiva; asimmetrica; irriflessiva (ordine parziale stretto)
precondition-of / postcondition-of	Condizione/risultato di un evento/azione	è precondizione di / è postcondizione di	condizione di esecuzione precondizione necessario per richiesto per risultato effetto conseguenza	Eventi	Ontologica (contestuale; richiede avvertenze di dominio)	direzionale; non simmetrica; solitamente aciclica; contestuale
participates-in / has-participant	Partecipazione a un evento	partecipa a / ha partecipante	partecipa a è coinvolto in è implicato in prende parte a	Eventi	Ontologica (nucleo)	direzionale; non simmetrica; non transitiva
has-role / role-of	Ruolo (tematico)	ricopre il ruolo di / ruolo di	ricopre il ruolo di agisce nel ruolo di agisce come funge da è agente è paziente è strumento	Ruoli	Ontologica (contestuale; richiede avvertenze di dominio)	direzionale; non simmetrica; si realizza in un evento/processo
member-of / has-member	Membro di collezione	è membro di / ha membri	appartiene al gruppo fa parte del team membro della collezione entra nel gruppo elemento dell'insieme	Collezioni/appartenenza (non meronimia)	Ontologica (nucleo)	direzionale; non simmetrica; non transitiva; non confondere con part-of (componenti)
causes / caused-by	Causalità	causa / è causato da	porta a causa comporta determina conduce a è la causa di	Causa-effetto	Ontologica (contestuale; richiede avvertenze di dominio)	direzionale; asimmetrica; aciclica nell'ambito del tempo di dominio; per un'influenza debole usare prov:wasInfluencedBy
owns / owned-by (belongs-to)	Possesso/appartenenza	possiede / appartiene a	possiede è proprietario di è in possesso di figura in bilancio appartiene a	Appartenenza	Ontologica (contestuale; richiede avvertenze di dominio)	direzionale; non simmetrica; non transitiva; distinguere il possesso giuridico dal controllo di fatto (non confondere con located-in)
same-as / same-as (simm.)	Identità (equivalenza)	è identico a / è identico a	è identico a è lo stesso di è equivalente a coincide con	Equivalenza	Ontologica (nucleo; usare con cautela)	riflessiva; simmetrica; transitiva
different-from / different-from (simm.)	Differenza/incompatibilità	è diverso da / è diverso da	non è identico a è diverso da è incompatibile con non coincide con	Differenza	Ontologica (nucleo)	simmetrica; irriflessiva
adjacent-to / adjacent-to (simm.)	Adiacenza (topologia)	è adiacente a / è adiacente a	confina con è contiguo a è vicino a è in contatto con	Topologia	Ontologica (nucleo)	simmetrica; irriflessiva; non transitiva
opposite-of / opposite-of (simm.)	Opposizione (antonimia)	è opposto a / è opposto a	è opposto a è antonimo di è inverso per qualità è contrario è contrapposto a	Lessico-semantica	Lessicale/tesaurale (da non assiomatizzare)	relazione lessico‑semantica; simmetrica; non usare come assioma ontologico; si preferisce modellare tramite scale qualitative e disgiunzione di classi

Legenda dei tipi:

• Ontologica (nucleo) — ammette assiomatizzazione in OWL senza avvertenze particolari;
• Ontologica (contestuale; richiede avvertenze di dominio) — l'interpretazione e le inferenze dipendono dal dominio/modello;
• Lessicale/tesaurale (da non assiomatizzare) — solo per lessici/KOS, da non usare per l'inferenza logica.

Corrispondenza delle relazioni semantiche di base con gli standard ontologici

Relazione di base (nucleo)	Relazione di base (parola canonica)	RDF/RDFS/Dublin Core	SKOS	OWL / OWL‑Time / GeoSPARQL	OBO RO / BFO (se disponibile)	Schema.org / altro	Note
subclass-of	Sottotipo (genere–specie)	rdfs:subClassOf	skos:broader / skos:narrower	— (in OWL si usa rdfs:subClassOf)	—	—	Gerarchia di classi; transitiva; ereditarietà di assiomi/vincoli (non di valori). In SKOS — gerarchia tesaurale (per impostazione predefinita non transitiva; esistono skos:broaderTransitive / skos:narrowerTransitive). L'equivalenza tra classi si specifica separatamente: owl:equivalentClass.
instance-of	Istanza	rdf:type	—	owl:Class / owl:NamedIndividual	—	schema:additionalType	Tipizzazione «individuo → classe» (non transitiva). È ammessa la tipizzazione multipla. Non confondere con subclass-of (classe → classe).
part-of / has-part	Parte–tutto (meronimia)	dcterms:isPartOf / dcterms:hasPart	—	owl:ObjectProperty personalizzata (spesso dichiarata come owl:TransitiveProperty)	bfo:part_of / bfo:has_part ; ro:part_of / ro:has_part	schema:isPartOf / schema:hasPart	Meronimia strutturale/componenziale; transitiva per il «part_of» componenziale. Non confondere con l'appartenenza (member-of).
member-of / has-member	Membro di collezione	rdfs:member	skos:member / skos:memberList	—	ro:member_of / ro:has_member	schema:member / schema:memberOf ; org:memberOf / org:hasMember	rdfs:member è storicamente per i contenitori RDF; super-proprietà delle proprietà di contenitore numerato rdf:_1, rdf:_2, …; per gruppi/organizzazioni si preferisce schema.org o W3C ORG. Non transitiva. Si distingue da component‑whole.
located-in / contains	Localizzazione (annidamento)	dcterms:spatial	—	geosparql:sfWithin / geosparql:sfContains	ro:located_in	schema:containedInPlace / schema:containsPlace ; schema:location	Per la geometria rigorosa — GeoSPARQL (DE‑9IM; annidamento di regioni). In GeoSPARQL la transitività non è annotata come owl:TransitiveProperty; è ammessa come assunzione del modello per le gerarchie di regioni. dcterms:spatial — collegamento referenziale «morbido». In RO ro:located_in è dichiarata transitiva; a livello applicativo specificare il dominio/tipo di localizzazione (amministrativa, anatomica, ecc.) affinché la transitività sia valida nel proprio modello.
adjacent-to / overlaps	Adiacenza / sovrapposizione (topologia)	—	(se necessario) skos:related	geosparql:sfTouches / geosparql:sfOverlaps	—	—	Relazioni distinte (touches ≠ overlaps); entrambe simmetriche; non transitive. In termini DE‑9IM: touches — i confini si toccano; overlaps — intersezione con interno non vuoto.
before / after	Sequenza temporale (prima/dopo)	—	—	time:before / time:after ; anche time:intervalBefore / time:intervalAfter	bfo:precedes / bfo:preceded_by	—	Modellata come ordine parziale stretto. In OWL‑Time la transitività è esplicitamente definita; l'asimmetria/irriflessività si specificano con assiomi dell'ontologia di progetto se necessario.
participates-in / has-participant	Partecipazione a un evento	—	—	—	ro:participates_in / ro:has_participant	sem:hasActor / lode:involvedAgent ; prov:wasAssociatedWith ; prov:qualifiedAssociation ; schema:participant / schema:attendee / schema:performer	Partecipazione ≠ ruolo; per i ruoli — vedere has‑role.
has-role / role-of	Ruolo (ruoli tematici)	—	—	owl:ObjectProperty personalizzata	ro:has_role / ro:role_of ; bfo:Role	prov:hadRole (all'interno di prov:qualifiedAssociation) ; schema:Role (classe), schema:roleName	I ruoli si realizzano in eventi/processi; non confondere con la tipizzazione (instance-of).
has-property / has-value	Proprietà / valore	rdf:value (collegamento generico al valore)	—	owl:DatatypeProperty / owl:ObjectProperty (tipi di proprietà)	ro:has_quality / ro:characteristic_of	schema:additionalProperty ; schema:value ; schema:PropertyValue / schema:QuantitativeValue	Per le qualità è utile il pattern RO (quality/characteristic of). owl:hasValue — costruttore nei vincoli (non una proprietà ordinaria).
causes	Causalità	—	—	—	ro:causally_related_to ; ro:causally_upstream_of / ro:causally_downstream_of	prov:wasInfluencedBy	Relazione causale direzionale; solitamente aciclica. Specificare il contesto temporale e il dominio di definizione.
same-as	Identità (equivalenza)	—	skos:exactMatch / skos:closeMatch	owl:sameAs ; per classi/proprietà: owl:equivalentClass / owl:equivalentProperty	—	schema:sameAs	Usare con cautela. skos:exactMatch/closeMatch — solo per concetti SKOS, principalmente di schemi diversi (proprietà di mapping); tra le proprietà di mapping solo skos:exactMatch è transitiva (entrambe simmetriche); non confondere con owl:sameAs (identità delle risorse).
different-from	Differenza / incompatibilità	—	—	owl:differentFrom ; owl:AllDifferent ; per classi: owl:disjointWith ; anche owl:AllDisjointClasses / owl:AllDisjointProperties	—	—	Distinzione esplicita degli individui e disgiunzione di classi/proprietà (per insiemi — AllDisjoint).
owns / owned-by (belongs-to)	Possesso / appartenenza	—	—	owl:ObjectProperty personalizzata	—	schema:owns ; schema:OwnershipInfo	Si raccomanda di specificare dominio/intervallo e cardinalità; distinguere il possesso giuridico dal controllo di fatto (non confondere con located‑in).
opposite-of	Opposizione (antonimia)	—	—	—	—	(lessico) lexinfo:antonym ; WordNet antonym	Relazione lessicale; non usare come assioma ontologico. Nei KOS, in assenza di una proprietà rigorosa, si ammette skos:related.
derived-from / gives-rise-to	Origine / derivazione	—	—	—	(se necessario in bio-ontologie) ro:develops_from	PROV‑O: prov:wasDerivedFrom	Derivazione direzionale; ammette catene. Distinguere dalla meronimia (part‑of) e dall'identità (same‑as).
precondition-of / postcondition-of	Pre-/postcondizione di un evento/azione	—	—	—	—	OWL‑S (W3C Member Submission): process:hasPrecondition ; process:hasResult (storicamente: process:hasEffect)	Usare per ontologie di processo. In modelli alternativi — tramite causalità/tempo (bfo:precedes, time:before) o pattern PROV (prov:used, prov:wasGeneratedBy) — a seconda del contesto.
related-to	Relazione associativa (KOS)	—	skos:related	—	—	—	Simmetrica; non transitiva. Usare solo in tesauri/KOS; semantica debole — non per l'inferenza logica.

Ontologie e vocabolari principali

• RDF e RDFS (W3C) — RDF: modello astratto di grafo della conoscenza basato su triple soggetto–predicato–oggetto; RDFS: vocabolario minimale per la definizione di classi/proprietà e gerarchie (subClassOf, subPropertyOf, domain/range).
• OWL / OWL 2 (W3C) — linguaggio di rappresentazione della conoscenza per la specifica formale di ontologie (classi, assiomi, tipi e inversioni di proprietà, equivalenza/disgiunzione), progettato per l'inferenza automatica in logica DL.
• SKOS (W3C) — modello per la rappresentazione di tesauri, classificazioni e vocabolari controllati su RDF/RDFS (broader/narrower/related, collezioni, corrispondenze inter-tesaurali); non definisce ereditarietà di classi.
• OWL‑Time (W3C) — ontologia del tempo in OWL 2 DL: istanti, intervalli, relazioni topologiche (before/after), durate e posizioni calendariali-temporali.
• GeoSPARQL (OGC) — standard OGC per la geosemantica: una piccola ontologia OWL di «entità spaziali/geometrie», un vocabolario di relazioni topologiche (within/contains, touches/overlaps, ecc.) ed estensioni SPARQL per query geografiche.
• BFO e RO (OBO) — BFO: ontologia di livello superiore (continuant/occurrent, ecc.) per l'allineamento di ontologie di dominio; RO (Relations Ontology): insieme inter-dominio di predicati relazionali (part_of/has_part, participates_in, causali, ecc.).
• PROV‑O (W3C) — ontologia OWL della provenienza dei dati, che implementa il modello PROV‑DM: entità, attività, agenti e le loro relazioni per lo scambio e l'analisi delle informazioni di provenance.
• Schema.org — vocabolario web applicativo per la marcatura di dati strutturati nelle pagine (JSON‑LD/RDFa/Microdata); iniziativa dei motori di ricerca (2011) per l'unificazione di tipi e proprietà nel web aperto.

Ontologie e vocabolari principali: riferimenti ufficiali

Nome	Ente / stato	Documentazione ufficiale
RDF 1.2 Concepts and Abstract Data Model	W3C Working Draft (2025)	Pagina della specifica
RDF 1.2 Schema (RDFS)	W3C Working Draft (2025; revisione della versione 2014 senza modifiche tecniche)	Pagina della specifica
DCMI Metadata Terms (Dublin Core Terms)	DCMI Specification (2020)	Pagina della specifica
OWL 2 Web Ontology Language	W3C Recommendation (2012, 2nd Ed.)	Panoramica/roadmap delle specifiche OWL 2
SKOS Reference	W3C Recommendation (2009)	Pagina della specifica
Time Ontology in OWL (OWL‑Time)	W3C Candidate Recommendation Draft (2022)	Pagina della specifica
GeoSPARQL 1.1	OGC Implementation Standard	Pagina dello standard OGC · Documento dello standard (OGC 22‑047r1)
Basic Formal Ontology (BFO)	OBO Foundry (upper ontology)	Scheda ufficiale/documentazione
OBO Relations Ontology (RO)	OBO Foundry (relations)	Scheda ufficiale/documentazione
PROV‑O: The PROV Ontology	W3C Recommendation (2013)	Pagina della specifica
The Organization Ontology (ORG)	W3C Recommendation (2014)	Pagina della specifica
Schema.org (documentation)	Documentazione ufficiale del progetto	Schemi e documentazione
LexInfo (ontologia lessico‑semantica)	Sito ufficiale/ontologia	Sito ufficiale · OWL 3.0