Βοήθεια:Βασικές ιδιότητες μέλους
 | Η σελίδα με μία ματιά:
|
Εισαγωγή
Η σελίδα αυτή περιγράφει τις διαφορές μεταξύ των ιδιοτήτων instance of (P31), subclass of (P279) και part of (P361).
Ορισμοί
Για να κατανοήσετε τις διαφορές, είναι σημαντικό να είστε εξοικειωμένοι με τους όρους instance [είναι] και class (κλάση). Μια κλάση είναι ένα αφηρημένο αντικείμενο που αντιπροσωπεύει ένα σύνολο αντικειμένων, που ονομάζονται περιπτώσεις/όντα/instances του. Τυπικά, όλα τα όντα που ανήκουν σε μια κλάση μοιράζονται ένα σύνολο ιδιοτήτων, οι οποίες ιδιότητες χαρακτηρίζουν την κλάση. Τα όντα διαφέρουν μεταξύ τους ως προς τις τιμές που έχουν για αυτές τις ιδιότητες, αλλά όχι στο γεγονός ότι έχουν τις ίδιες τις ιδιότητες. Έτσι, κάθε κλάση χαρακτηρίζεται τυπικά από τις ιδιότητες που μοιράζονται όλα τα όντα της (αν και αυτό δεν επιβάλλεται από τα Wikidata).
If all the instances of class A necessarily also belong to class B, then we say A is a subclass of B.
Παραδείγματα
- κλάση human (Q5) με όντα Abraham Lincoln (Q91), Mahatma Gandhi (Q1001), Isaac Newton (Q935), κτλ.
- κλάση lighthouse (Q39715) με όντα Amrum Lighthouse (Q20669) και Lighthouse of Alexandria (Q43244), κτλ.
- κλάση ocean (Q9430) με όντα Atlantic Ocean (Q97),Pacific Ocean (Q98),κτλ.;
- κλάση public election (Q40231) με όν 2016 Taiwanese presidential election (Q20683626), κλπ.
Πρακτικές πτυχές
- Τίποτα δεν εμποδίζει ένα αντικείμενο να είναι και ον και κλάση. Ένα αντικείμενο είναι ένα ον απλώς λόγω της ύπαρξης μιας ιδιότητας instance of (P31). Ομοίως, ένα αντικείμενο είναι μια κλάση απλώς λόγω του ότι είναι η τιμή που σχετίζεται με την ιδιότητα είναι instance of (P31) κάποιου άλλου αντικειμένου (ή επειδή έχει μια ιδιότητα υποκλάσης).
- Το πλήρες σύνολο των όντων που υπονοείται από μια κλάση μπορεί να υπάρχει ή να μην υπάρχει ως αντικείμενα στα Wikidata.
- Εάν, από λογική άποψη, όλα τα αντικείμενα που εννοιολογικά ανήκουν στην κλάση Α (είτε είναι όντως δημιουργημένα στα Wikidata είτε όχι) πρέπει επίσης να ανήκουν στην κλάση Β, τότε η σχέση μεταξύ Α και Β ονομάζεται υποκλάση του. Λέμε ότι το Α είναι υποκλάση του Β.
Η σχέση μεταξύ όντων με κοινό χαρακτηριστικό και κλάσης που χαρακτηρίζεται από αυτό το χαρακτηριστικό παράγεται με την ιδιότητα instance of (P31). Χρησιμοποιούμε instance of (P31) αντί για subclass of (P279) όταν δεν μπορούμε να πούμε τίποτα για όντα με τέτοια σχέση. Πιο συγκεκριμένα, είναι rdf:type.[1]
Για παράδειγμα, τα Atlantic Ocean (Q97) και Pacific Ocean (Q98) είναι όντα του ocean (Q9430). Ως εκ τούτου, γράφουμε στα Wikidata:
- Atlantic Ocean (Q97) instance of (P31) ocean (Q9430);
- Pacific Ocean (Q98) instance of (P31) ocean (Q9430).
Διάφορα παραδείγματα:
- human brain (Q492038) subclass of (P279) brain (Q1073)
- brain (Q1073) subclass of (P279) animal organ (Q24060765)
- animal organ (Q24060765) subclass of (P279) organ (Q712378)
Ένα ακόμα παράδειγμα:
- κλάση lake (Q23397) με όντα Lake Baikal (Q5513) και Lake Erie (Q5492);
- κλάση ocean (Q9430) με όντα Atlantic Ocean (Q97) και Pacific Ocean (Q98).
Μια λίμνη και ένας ωκεανός δεν είναι το ίδιο, αλλά όλες οι περιπτώσεις (όντα) τους μοιράζονται το κοινό χαρακτηριστικό του να είναι ένα σώμα νερού. Επομένως, μπορούμε να χρησιμοποιήσουμε την κλάση body of water (Q15324) για να δηλώσουμε ότι:
- lake (Q23397) subclass of (P279) body of water (Q15324);
- ocean (Q9430) subclass of (P279) body of water (Q15324).
Τώρα τα Lake Baikal (Q5513), Lake Erie (Q5492), Atlantic Ocean (Q97) και Pacific Ocean (Q98) θα είναι όλα μεταβατικές (έμμεσες) περιπτώσεις (όντα) του body of water (Q15324). Γενικά μπορούμε να χρησιμοποιήσουμε περισσότερο αφηρημένα αντικείμενα (όπως body of water (Q15324)) αντί απαριθμήσεις (lake (Q23397) και ocean (Q9430)) μαζί: 1. στις δηλώσεις μας και 2. στα ερωτήματά μας (δεν καλύπτονται σε αυτή τη σελίδα βοήθειας).
Transitive properties
The property subclass of (P279) is a transitive Wikidata property (Q18647515). This means: if a class A is a subclass of class B, and B is a subclass of class C, then A is implicitly also a subclass of C. There is then no general need to add an explicit statement to Wikidata declaring A to be a subclass of C.
For example, tree (Q10884) is a subclass of woody plant (Q757163), and woody plant (Q757163) is a subclass of plant (Q756). Thus tree (Q10884) is implicitly also a subclass of plant (Q756).
Similarly, if item x is an instance of class B, and B is a subclass of class C, then x is implicitly also an instance of C. There is then no general need to add an explicit statement to Wikidata declaring x to be an instance of C.
For example, Lighthouse of Alexandria (Q43244) is an instance of lighthouse (Q39715) and lighthouse (Q39715) is a subclass of tower (Q12518). Lighthouse of Alexandria (Q43244) is thus an instance of tower (Q12518).
The property instance of (P31) is not transitive. Considering the example from above: Angela Merkel (Q567) is an instance of politician (Q82955), and politician (Q82955) is an instance of profession (Q28640), but it would be incorrect to say that Angela Merkel (Q567) is an instance of profession (Q28640).
Inferences based on transitivity do not take qualifiers into account, so instance of (P31) and subclass of (P279) statements must be valid while ignoring any qualifiers; in other words, these statements should not have any restrictive qualifier (Q61719275), or any qualifier that is being used restrictively. For example, if A is often, but not always, a subclass of B, then it is not valid to state that A is a subclass of B with nature of statement (P5102) = often (Q28962312), because this will lead to false inferences.
Items cannot be an instance of another non-class, but they can be part of another non-class. For example, Albert Einstein's brain (Q2464312) is a part of Albert Einstein (Q937). On Wikidata we use part of (P361) for this relation.
Κλάσεις μπορεί να είναι μέρος άλλων κλάσεων. Για παράδειγμα,
The use of instance of (P31) instead of part of (P361) would be wrong here because human brain (Q492038) is not a person. Using subclass of (P279) would also be wrong because an instance of human brain (Q492038) (e.g. Albert Einstein's brain (Q2464312)) is not an instance of the class Homo sapiens (Q15978631).
Like subclass of (P279), part of (P361) is a transitive property.
Inverse relations of part of (P361)
- has part(s) (P527) - is used to say that an instance has as part some other instance or that instances of a class have as part an instance of some other class
- has part(s) of the class (P2670) - is used to say that an instance (never a class) has as part an instance of a class. If the parent item is both an instance and a class, has part(s) of the class (P2670) should not be used.
Για παράδειγμα,
- Greek alphabet (Q8216) has part(s) (P527) Α (Q9887) (στιγμιότυπο-στιγμιότυπο)
- alphabet (Q9779) has part(s) (P527) letter (Q9788) (κλάση-κλάση)
- Greek alphabet (Q8216) has part(s) of the class (P2670) Greek letter (Q19793459) (στιγμιότυπο-κλάση)
In the first example, has part(s) (P527) is used because Greek alphabet (Q8216) has as part Α (Q9887). has part(s) (P527) is also used in the second example because instances of alphabet (Q9779) have instances of letter (Q9788) as parts. In the last example, we take has part(s) of the class (P2670) since Greek alphabet (Q8216) has one or more instances of Greek letter (Q19793459) as parts.
Παραδείγματα
| Property | X | Y | what it denotes | παράδειγμα | επεξήγηση | why not use… |
|---|---|---|---|---|---|---|
| <X> instance of <Y> | στιγμιότυπο | κλάση |
|
<USS Nimitz> instance of <supercarrier> | <USS Nimitz> is a single concrete aircraft carrier, <supercarrier> is an aircraft carrier class which has many instances (aircraft carriers) |
|
| <People's Republic of China> instance of <sovereign state> | <sovereign state> is a concept defined by some features, <China> is an object which meet these features |
| ||||
| <Sun> instance of <G-type main-sequence star> | The <Sun> is a specific star with the spectral characteristics of a G-type main-sequence star, and so is an instance of that class |
| ||||
| <hatter> instance of <profession> | $ποιο είναι ένα συγκεκριμένο παράδειγμα ενός επαγγέλματος |
| ||||
| <Douglas Adams> instance of <human> | <Douglas Adams> is a specific human person (this is one of the most common cases for instance of) |
| ||||
| <X> subclass of <Y> | κλάση | κλάση |
|
<supercarrier> subclass of <aircraft carrier> | both <supercarrier> and <aircraft carrier> are classes and the latter contains the former |
|
| <sovereign state> subclass of <state> | both of them are classes, the former has all features of the latter and some additional features, so it is a subclass of the latter |
| ||||
| <G-type star> subclass of <star> | every individual G-class star (instances of <G-class star>) is also a star - i.e. belongs to the class <star> |
| ||||
| <X> part of <Y> | στιγμιότυπο | στιγμιότυπο |
|
<USS Nimitz> part of <Carrier Strike Group Eleven> | <USS Nimitz> is a concrete aircraft carrier, <CSG-11> is a concrete carrier strike group, <USS Nimitz> is one of <CSG-11>'s components (its flagship) |
|
| <People's Republic of China> part of <Asia> | τόσο η <Κίνα> όσο και η <Ασία> είναι συγκεκριμένα γεωγραφικά χαρακτηριστικά, η <Κίνα> είναι μέρος της <Ασίας> |
| ||||
| <Sun> part of <Solar System> | both of them are individual astronomical objects; the solar system is composed of the Sun, planets, and other objects in the Sun's vicinity |
| ||||
| κλάση | κλάση | ένα στιγμιότυπο της κλάσης X είναι μέρος ενός στιγμιοτύπου της κλάσης Y | <flight deck> part of <aircraft carrier> | every aircraft carrier (instance of <aircraft carrier>) has its own flight deck (instance of <flight deck>) |
| |
| <member state> part of <international organization> | an instance of <member state> is a component of an instance of <international organization> |
| ||||
| <star> part of <galaxy> | a star typically is born and lives within a single galaxy which is made up of many stars and other astronomical objects |
| ||||
| ||||||
Here is a table that explains the difference between has part(s) (P527) and has part(s) of the class (P2670).
has part(s) (P527) should be used for class-class and instance-instance relationships.
has part(s) of the class (P2670) should be used for instance-class relationships.
If you see a constraint violation on an item with has part(s) of the class (P2670)...
- If the item is a class and has subclass of (P279), it should use has part(s) (P527) instead of has part(s) of the class (P2670), even if it also has instance of (P31).
- The item may wrongly be a class and should instead be an instance. Remove subclass of (P279) and make sure it has a proper instance of (P31).
| Property | X | Y | what it denotes | παράδειγμα | επεξήγηση | why not use… |
|---|---|---|---|---|---|---|
| <X> has part(s) <Y> | στιγμιότυπο | στιγμιότυπο | instance X has instance Y among its parts or components | <United States Congress> has part(s) <United States Senate> | το Κογκρέσο των Ηνωμένων Πολιτειών έχει δύο μέρη, τη Βουλή των Αντιπροσώπων και τη Γερουσία |
|
| <Solar System> has part(s) <Mars> | Ο <Άρης> είναι ένας από τους πλανήτες του <Ηλιακού Συστήματος> |
| ||||
| κλάση | κλάση | ένα στιγμιότυπο του X έχει ένα στιγμιότυπο του Y ανάμεσα στα μέρη του | <body> has part(s) <head> | γενικά ένα <σώμα> (ανατομικό χαρακτηριστικό) έχει ένα <κεφάλι> ως ένα από τα μέρη του |
Το * has part(s) of the class δεν χρησιμοποιείται επειδή το <σώμα> και το <κεφάλι> είναι και τα δύο κλάσεις | |
| <galaxy> has part(s) <star> | ένας <γαλαξίας> έχει <αστέρια> ως ένα από τα μέρη του |
Το * has part(s) of the class δεν χρησιμοποιείται επειδή <γαλαξίας> και <αστέρι> είναι και τα δύο κλάσεις. | ||||
| <X> has part(s) of the class <Y> | στιγμιότυπο | κλάση | το συγκεκριμένο αντικείμενο X περιλαμβάνει κάποιο στιγμιότυπο της κλάσης Y ανάμεσα στα μέρη του | <University of Cambridge> has part(s) of the class <college of the University of Cambridge> | το <Πανεπιστήμιο του Κέιμπριτζ> έχει κολλέγια ως μέρη |
|
| <Solar System> has part(s) of the class <inner planet of the Solar System> | το <Ηλιακό μας Σύστημα> έχει έναν ή περισσότερους <πλανήτες> ως μέρη του |
| ||||
| <Albert Einstein> has part(s) of the class <human brain> | Ο <Άλμπερτ Αϊνστάιν> είχε ένα <ανθρώπινο μυαλό> ως μέρος |
|
Queries
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.
See also
References
- ↑ https://www.w3.org/TR/rdf-schema/#ch_type
- ↑ https://www.w3.org/TR/rdf-schema/#ch_subclassof
- ↑ https://www.w3.org/TR/rdf-schema/#ch_subclassof
Εξωτερικοί σύνδεσμοι
- Multi-Level Conceptual Modeling: Theory and Applications — explains differences between instance of (P31) and subclass of (P279) under the conceptual framework of multi-level conceptual modelling. Skip to part 4 for Wikidata-related content.
- Collections and Individuals — explains differences between instance of (P31) and subclass of (P279) (in the context of the Cyc (Q1147294) knowledge base)