Jump to content

Help:Proprietà basilari di appartenenza

From Wikidata
This page is a translated version of the page Help:Basic membership properties and the translation is 84% complete.
Outdated translations are marked like this.
Other languages:

Introduzione

Questa pagina spiega le differenze tra le proprietà instance of (P31), subclass of (P279) e part of (P361).

Definizioni

Per capire le differenze, è importante acquisire familiarità con i termini istanza e classe. Una classe è un'astrazione che rappresenta un insieme di elementi, chiamati le sue istanze. Normalmente, tutte le istanze che appartengono a una classe condividono un insieme di proprietà che caratterizzano la classe.

Se tutte le istanze della classe A appartengono necessariamente anche alla classe B, allora diciamo che A è una subclase di B.

Esempi:

Aspetti pratici

  • Un elemento può essere un'istanza e/o una classe, secondo le relazioni che ha con altri elementi. Un elemento è un'istanza per il semplice fatto di contenere una proprietà $31. Allo stesso modo un elemento è una classe semplicemente per il fatto di essere il valore associato con la proprietà $31 di un altro elemento (o avere la proprietà di sottoclasse).
  • Non è sempre garantito che l'insieme completo di istanze appartenenti a una classe sia contenuto come pluralità di elementi in Wikidata.
  • Se la logica impone che tutti gli elementi appartenenti alla classe A (a prescindere dal fatto che siano classificati in Wikidata o no) appartengano anche alla classe B, allora la relazione fra A e B sarà chiamata "sottoclasse di". In tal caso si dice che A è una sottoclasse di B.

instance of (P31)

La relazione tra istanze con una caratteristica comune ed una classe contraddistinta da questa caratteristica è prodotta con la proprietà instance of (P31). Viene utilizzata instance of (P31) invece che subclass of (P279) quando non si può dire nulla riguardo le istanze con questa relazione. Più nello specifico, è un rdf:type.[1]

Per esempio, Atlantic Ocean (Q97) e Pacific Ocean (Q98) sono entrambe istanze di ocean (Q9430). Si scriverà dunque su Wikidata:

subclass of (P279)

  • è usato per affermare che tutte le istanze di una classe sono istanze dell'altra[2]
  • più nello specifico, è una rdfs:subClassOf[3]

Diversi esempi:

Un altro esempio:

Un lago e un oceano non sono la stessa cosa ma tutte le istanze condividono la stessa caratteristica di essere un corpo di acqua. Allora possiamo utilizzare la classe body of water (Q15324) per definire che:

Adesso Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) e Pacific Ocean (Q98) saranno tutte istanze transitive (indirette) di body of water (Q15324). In generale è indicato usare oggetti astratti invece che enumerazioni (lake (Q23397) e ocean (Q9430)) sia: 1. nelle nostre definizioni e 2. nelle domande (questo non è considerato in questa pagina d'aiuto).

Proprietà transitive

subclass of (P279) è una transitive property (Q18647515), il che significa che se un elemento A è un'istanza della classe B e la classe B è una sottoclasse della classe C, allora l'elemento A è implicitamente anche un'istanza della classe C. Non c'è un'esigenza generale che impone di aggiungere una dichiarazione per la relazione A→C in Wikidata.

Per esempio, tree (Q10884) è una sottoclasse di woody plant (Q757163), e woody plant (Q757163) è una subclase di plant (Q756). Sicché tree (Q10884) è implicitamente anche una subclase di plant (Q756).

Allo stesso modo, se l'elemento x è un'istanza di classe B, e B è una sottoclasse di classe C, allora x è implicitamente anche un'istante di C. Non c'è quindi alcun bisogno generale di aggiungere una dichiarazione esplicita a Wikidata che dichiari che x è un'istanza di C.

Per esempio, Lighthouse of Alexandria (Q43244) è un'istanza di lighthouse (Q39715) e lighthouse (Q39715) è una sottoclasse di tower (Q12518). Lighthouse of Alexandria (Q43244) è perciò un'istanza di tower (Q12518).

La proprietà instance of (P31) è non transitiva. Considerando l'esempio di sopra: Angela Merkel (Q567) è un'istanza di politician (Q82955), e politician (Q82955) è un'istanza di profession (Q28640), ma sarebbe scorretto dire che Angela Merkel (Q567) è un'istanza di profession (Q28640).

Le inferenze basate nella transitività non tengono conto di qualificatori, per questo le dichiarazioni instance of (P31) e subclass of (P279) devono essere valide ignorando qualsiasi qualificatore; in altre parole, queste dichiarazioni non devono avere nessun restrictive qualifier (Q61719275), o qualsiasi qualificatore che sia utilizzato in maniera restrittiva. Per esempio, se A è spesso, ma non sempre, una sottoclasse di B, allora non è valido affermare che A è una sottoclasse di B con nature of statement (P5102) = often (Q28962312), perché questo porterà a inferenze false.

part of (P361)

Gli elementi non possono essere istanze di un elemento che non è una classe ma possono esserne parti. Per esempio, Albert Einstein's brain (Q2464312) è una parte di Albert Einstein (Q937). Su Wikidata si usa part of (P361) per questa relazione.

Le classi possono essere anche parte di un'altra classe. Per esempio,

In questo caso l'uso di instance of (P31) invece di part of (P361) sarebbe sbagliato perché human brain (Q492038) non è una persona. Anche utilizzare subclass of (P279) non sarebbe stato corretto perché un'istanza di human brain (Q492038) (per esempio Albert Einstein's brain (Q2464312)) non è un'istanza della classe Homo sapiens (Q15978631).

Come subclass of (P279), part of (P361) è una proprietà transitiva.

part of (P361)">

Relazioni inverse di part of (P361)

  1. has part(s) (P527) - è utilizzata per dire che un'istanza è parte di qualche altra istanza o che istanze di quella classe hanno come parte un'istanza di qualche altra classe
  2. has part(s) of the class (P2670) - viene utilizzato per dire che un'istanza (mai una classe) ha come parte un'istanza di una classe. Se l'elemento principale è sia un'istanza che una classe, has part(s) of the class (P2670) non deve essere utilizzato.

Per esempio,

Nel primo esempio, has part(s) (P527) viene usato perché Greek alphabet (Q8216) ha come parte Α/α (Q9887). has part(s) (P527) viene anche utilizzato nel secondo esempio perché le istanze di alphabet (Q9779) hanno istanze di letter (Q9788) come parti. Nell'ultimo esempio, prendiamo has part(s) of the class (P2670) dal momento che Greek alphabet (Q8216) ha una o più istanze di Greek letter (Q19793459) come parti.

Esempi

instance of (P31) vs. subclass of (P279) vs. part of (P361)

Differenze tra instance of (P31), subclass of (P279) e part of (P361)
Property X Y che cosa denota esempio spiegazione perché non usare...
instance of istanza classe
  • X è un elemento singolo che appartiene alla classe Y
  • X è un esempio specifico della classe Y
  • tutte le istanze della classe Y condividono determinate caratteristiche
  • Y è l'insieme delle sue istanze (incluso X)
 <USS Nimitz> instance of <supercarrier> Nimitz> è una portaerei singola e reale, è una classe di portaerei che ha molte istanze (portaerei)
  • subclass of non va usato perché Nimitz> non è una classe
  • part of non va usato perché Nimitz> è un'istanza e la è una classe, le istanze non possono essere parti di classi
<People's Republic of China> instance of <sovereign state> è un concetto definito da alcune caratteristiche, è un oggetto che corrisponde a queste caratteristiche
  • subclass of non va usato perché è uno Stato reale
  • part of non va usato perché le istanze non possono essere parti di classi
<Sun> instance of <G-type main-sequence star> Il è una stella specifica con le caratteristiche spettrali di una stella della sequenza principale di tipo G, e così è pure una istanza di tale classe * subclass of non usata perché il non è una classe ma un singolo oggetto astronomico
  • part of not usata perché oggetti che non sono classi non possono essere parte di classi
<hatter> instance of <profession> <hatter> è un esempio specifico di una professione
  • subclass of non usato perché non è una classe di professioni ma una singola professione (istanza)
  • part of non usato perché le istanze non possono essere parti di classi
<Douglas Adams> instance of <human> <Douglas Adams> è una persona umana specifica (questo è uno dei casi più comuni di instance of) * subclass of non utilizzato perché
  • part of non usato perché le istanze non possono essere parti di classi
    • subclass of classe classe
    • tutte le istanze della classe X appartengono alla classe Y
    • le istanze di X sono anche istanze di Y
    		 <supercarrier> subclass of <aircraft carrier> sia che sono classi, e la seconda contiene la prima
    • instance of non va usato perché non è un oggetto reale
    • part of non va usato perché un'istanza di (ad esempio Nimitz>) non può essere parte di un'istanza di portaerei (ad esempio <USS Enterprise>)
    <sovereign state> subclass of <state> entrambi sono classi, la prima ha tutte le caratteristiche della prima ed alcune aggiuntive, perciò è una sottoclasse della seconda
    • instance of non va usato perché non è uno Stato specifico, ma una classe contenente tutti gli Stati sovrani
    • part of non va usato perché un'istanza di uno Stato sovrano (ad esempio ) non può essere parte di un'istanza di Stato (ad esempio )
    <G-type star> subclass of <star> every individual G-class star (instances of ) is also a star - i.e. belongs to the class
    • instance of not used because is not a single star, but a type of
    • part of not used because the relationship is not one of composition, i.e. individual instances do not join together to make an instance of a .
    part of istanza istanza
    • l'istanza X è una parte dell'istanza Y
    • diverse parti di Y (incluso X) combinate insieme formano l'intera Y
    		 <USS Nimitz> part of <Carrier Strike Group Eleven> Nimitz> è una portaerei reale, è un gruppo d'attacco reale, Nimitz> è un componente del (la nave ammiraglia)
    • instance of non va usato perché non è una classe
    • 'subclass of non va usato perché nessuna delle due è una classe
    <People's Republic of China> part of <Asia> sia che sono caratteristiche geografiche specifiche, è parte del continente
    • instance of non va usato perché è un'istanza (invece è una classe, perciò si potrebbe dire è un'istanza di )
    • subclass of non va usato perché nessuna delle due è una classe
    <Sun> part of <Solar System> entrambi sono singoli oggetti astronomici; il sistema solare è composto dal Sole, dai pianeti e da altri oggetti che si trovano nelle vicinanze del Sole * instance of non utilizzato perché quest'ultimo è un oggetto astronomico individuale, non un concetto generico
    • subclass of non utilizzato perché nessuno dei due è una classe
    classe classe un'istanza della classe X è parte di un'istanza della classe Y <flight deck> part of <aircraft carrier> ogni portaerei (istanza di ) ha il proprio ponte di volo (istanza di )
    • instance of non va usato perché è una classe, non un'istanza (solo un ponte di volo specifico, come il Nimitz>, può essere un'istanza)
    • subclass of non va usato perché un'istanza della prima (ad esempio Nimitz>) non può essere la stessa cosa come un'istanza della seconda (ad esempio Nimitz>)
    <member state> part of <international organization> un'istanza di è una componente di un'istanza di
    • instance of non va usato perché il primo è un concetto, non indica alcuno specifico stato (ad esempio )
    • subclass of non va usato perché un'istanza di non appartiene alla classe (ad esempio Cina non è un'organizzazione internazionale)
    <star> part of <galaxy> una stella nasce e vive tipicamente all'interno di una singola galassia che è composta da molte stelle e altri oggetti astronomici
    • instance of not used because is not an example of a
    • subclass of not used because instances of class are not instances of the class
    • Nota: alcuni esempi mostrati sopra sono solo a scopo dimostrativo, e non devono essere utilizzati in Wikidata perché esistono relazioni più specifiche che dovrebbero essere usate (ad esempio usa " continente " anziché " parte di ")

    has part(s) (P527) vs. has part(s) of the class (P2670)

    Ecco una tabella che spiega la differenza tra has part(s) (P527) e has part(s) of the class (P2670).

    has part(s) (P527) dovrebbe essere utilizzata per le relazioni classe-classe e istanza-istanza.

    has part(s) of the class (P2670) dovrebbe essere utilizzata per le relazioni istanza-classe. Se vedi una violazione delle restrizioni su un oggetto con $P2670...

    Differenze tra has part(s) (P527) e has part(s) of the class (P2670)
    Property X Y che cosa denota esempio spiegazione perché non usare...
    has part(s) istanza istanza l'istanza X ha l'istanza Y tra le sue parti o componenti <United States Congress> has part(s) <United States Senate> Il Congresso degli Stati Uniti ha due parti, la Camera dei Rappresentanti e il Senato * has part(s) of the class non è usato perché and sono oggetti concreti
    <Solar System> has part(s) <Mars> è uno dei pianeti nel * has part(s) of the class non è usato perché e sono oggetti concreti
    classe classe un'istanza di X ha un'istanza di Y tra le sue parti o componenti <body> has part(s) <head> in general a (anatomical feature) has a as one of its parts
    • has part(s) of the class not used because and are both classes
    <galaxy> has part(s) <star> a has as one of its parts
    • has part(s) of the class not used because and are both classes
    has part(s) of the class istanza classe l'elemento specifico X include qualche istanza di classe Y tra le sue parti o componenti <University of Cambridge> has part(s) of the class <college of the University of Cambridge> the has colleges as parts
    • has part(s) not used because does not have the class as a part, but instead has colleges as parts
    <Solar System> has part(s) of the class <inner planet of the Solar System> our has one or more in its parts
    • has part(s) not used because does not have the class of as a part, but instead has planets as parts
    <Albert Einstein> has part(s) of the class <human brain> had a as a part
    • has part(s) not used because is a class, not an instance, even if he had just one.

    Query

    Wikidata Queries can be used to find members of a given class, for example all subclasses of "Literary Work"; a Wikidata Query Builder is available to help.

     
    Wikidata properties related to tree (Q223655)
    This template lists some major properties which can be used to digitizing tree-shaped data. For techniques about creating tree, see Help:Tree
    ↕Vertical relations↕
    ↔Horizontal relations↔
    Other
    Items
    Wikimedia template

    Vedi anche

    Note

    1. ↑ https://www.w3.org/TR/rdf-schema/#ch_type
    2. ↑ https://www.w3.org/TR/rdf-schema/#ch_subclassof
    3. ↑ https://www.w3.org/TR/rdf-schema/#ch_subclassof

    Collegamenti esterni

    Retrieved from "https://www.wikidata.org/w/index.php?title=Help:Basic_membership_properties/it&oldid=2537758614"