Talk:Q26085352
Autodescription — file format family (Q26085352)
- Useful links:
- View it! – Images depicting the item on Commons
- Report on constraint conformation of “file format family” claims and statements. Constraints report for items data
- Parent classes (classes of items which contain this one item)
- Subclasses (classes which contain special kinds of items of this class)
- ⟨
file format family⟩ on wikidata tree visualisation (external tool)(depth=1) - Generic queries for classes
- See also
- This documentation is generated using
{{Item documentation}}.
Class or set[edit]
This item, file format family (Q26085352), has until now been defined as a subclass of (P279) class (Q16889133), qualified of (P642) file format (Q235557).
This may be correct in the sense that it indeed represents a number of file formats, not just a single file format. However, I believe this is wrong in the context of the Wikidata ontology, due to the way different properties interact.
An instance of (P31) any class will be a single entity of whatever makes up that class, in this case a file format. But an instance of a family of file formats should still be a (possibly more specific) family of formats, not just a single format.
I have therefore added a statement making this item a subclass of (P279) class (Q28813620). A set is similar to a class in that it represents an arbitrary number of entities (here file formats) grouped together. The difference is that while an instance of the file format class is a single file format only, an instance of the set will remain a set of whatever it contains, though not necesarily the very same set as the parent item represents. And "family" is here essentially just another word for "set".
I have further specified the set as having file formats as its parts, which will then be true for every subclass as well as any instances of this set (they may however be even more narrowly defined). Note that the qualifier of (P642) is being deprecated, wherefore I'm using has part(s) (P527) instead.
I plan to remove the subclass of (P279) class (Q16889133) statement unless it can be shown that it serves a purpose which is not satisfied by classification as a set. Until then it is however declared to be of deprecated rank, for the reason explained above (it yields instances of the wrong type). --SM5POR (talk) 20:39, 3 March 2022 (UTC)