Markus,
Ok, now I understand that "same as" wouldn't be a good name for the confusion it would cause. However the property "subject of" as it is now wouldn't be a good candidate either. Its meaning is that a certain statement is represented by another item (that is why it is only allowed to be used as qualifier).
Perhaps a better name would be "corresponds with item" and the inverse "corresponds with property". Just by having these connections, a lot of information can be inferred from the connected item.
Consider the following example with "occupation (P106)", and "occupation (Q13516667)": - I cannot find any clear "subproperty of" for p106, but there is a clear "subclass of:human behaviour" for the item - "human behaviour" is "part of" human - "human" can have a statement "intrinsic property" (property proposal still under discussion) with values "birthday (Q47223)" and an "(eventual) date of death". It can be expanded in the future to include newly created properties like "height", "weight", "eye color", etc - birthday (Q47223) <corresponds with property> date of birth (P569)
Out of this I reach the following conclusions: - the taxonomy of properties is going to be weak, since there is not always a clear subpropertyOf unless created artificially (more work) - the standard taxonomy of items (subclass of/part of) is sufficient to automatically reach meaningful constraints and inference (less work) - by adding manually the constraints to the property itself we are duplicating information which will require volunteer effort to maintain (more work)
My recommendation is to rely mainly on the main taxonomy instead of creating a parallel property taxonomy, and then think of ways to extract information from the main taxonomy to convert it automatically into constraints. All the maintenance takes effort, so the more it can be automated, the more efficient volunteers will be. And if we can simplify the maintenance of properties, we will be able to simplify the creation of properties too, specially when we face the next surge which will come with the datatype "number with units".
Cheers, Micru
On Wed, May 28, 2014 at 2:48 PM, Markus Krötzsch < markus@semantic-mediawiki.org> wrote:
David,
Regarding the question of how to classify properties and how to relate them to items:
- "same as" (in the sense of owl:sameAs) is not the right concept here. In
fact, it has often been discouraged to use this on the Web, since it has very strong implications: it means that in all uses of the one identifier, one could just as well use the other identifier, and that it is indistinguishable if something has been said about the one or the other. That seems too strong here, at least for most cases.
- In the world of OWL DL, sameAs specifically refers to individuals, not
to classes or properties. Saying "P sameAs Q" does not imply that P and Q have the same extension as properties. For the latter, OWL has the relationship owl:equivalentProperties. This distinction of instance level and schema level is similar to the distinction we have between "instance of" and "subclass of".
- Therefore, I would suggest to use a property called "subproperty of" as
one way of relating properties (analogously to "subclass of"). It has to be checked if this actually occurs in Wikidata (do we have any properties that would be in this relation, or do we make it a modelling principle to have only the most specific properties in Wikidata?).
- The relationship from properties to items could be modelled with the
existing property "subject of" (P805).
- It might be useful to also have a taxonomic classification of
properties. For example, we already group properties into properties for "people", "organisations", etc. Such information could also be added with a specific property (this would be a bit more like a "category" system on property pages). On the other hand, some of this might coincide with constraint information that could be expressed as claims. For instance, person properties might be those with "Type" (i.e., "rdfs:domain") constraint human. By the way, our constraint system could use some systematisation -- there are many overlaps in what you can do with one constraint or another.
Cheers,
Markus
On 28/05/14 12:14, David Cuenca wrote:
Markus, The explanation about the implications of renaming/deleting makes most sense and just that justifies already the separation in two. It is equally true that when we create a property, we might have "cleaned" the original concept so much that it might differ (even slightly) with the understood concept that the item represents. However, even after that process, the "new" concept is still an item...
The process of imbuing a concept with permanent characteristics (adding a datatype) and the practical approach, also seems to recommend keeping items and properties separate. Thanks for showing me that reasoning :)
I am still wondering about how are we going to classify properties. Maybe it will require a broader discussion, but if they are the same (or mostly the same) as items, then we can just link them as "same as", and build the classing structure just for the items. OTOH, if they are different, then we will need to mirror that classification for properties, which seems quite redundant. Plus adding a new datatype, "property".
All in all, my conclusion about this is that properties are just concepts with special qualities that justify the separation in the software (even if in real life there is no separation).
many thanks for your detailed answer, and sorry if I'm bringing up already discussed topics. It is just that when you stare long into wikidata, wikidata stares back into you ;)
Cheers, Micru
On Wed, May 28, 2014 at 11:39 AM, Markus Krötzsch <markus@semantic-mediawiki.org mailto:markus@semantic-mediawiki.org>
wrote:
Hi David, Interesting remark. Let's explore this idea a bit. I will give you two main reasons why we have properties separate, one practical and one conceptual. First the practical point. Certainly, everything that is used as a property needs to have a datatype, since otherwise the wiki would not know what kind of input UI to show. So you cannot use just any item as a property straight away -- it needs to have a datatype first. So, yes, you could abolish the namespace Property but you still would have a clear, crisp distinction between property items (those with datatype) and normal items (those without a datatype). Because of this, most of the other functions would work the same as before (for example, property autocompletion would still only show properties, not arbitrary items). A complication with this approach is that property datatypes cannot change in Wikibase. This design was picked since there is no way to convert existing data from one datatype to another in general. So changing the datatype would create problems by making a lot of data "invalid", and require special handling and special UI to handle this situation. With properties living in a separate namespace, this is not a real restriction: you can just create a new property and give it the same label (after naming the old one differently, e.g., putting "DEPRECATED" in its name). Then you can migrate the data in some custom fashion. But if properties would be items, we would have a problem here: the item is already linked to many Wikipedias and other projects, and it might be used in LUA scripts, queries, or even external applications like Denny's Javascript translation library. You cannot change item ids easily. Also, many items would not have a datatype, so the first one who (accidentally?) is entered will be fixed. So we would definitely need to rethink the whole idea of unchangeable datatypes. My other important reason is conceptual. Properties are not considered part of the (encyclopaedic) data but rather part of the schema that the community has picked to organise that data. As in your example, "emissivity" (Q899670) is a notion in physics as described in a Wikipedia article. There are many things to say about this notion (for example, it has a history: somebody must have defined this first -- although Wikipedia does not say it in this case). As in all cases, some statements might be disputed while others are widely acknowledged to be "true". For the property "emissivity" (P1295), the situation is quite different. It was introduced as an element used to enter data, similar to a row in a database table or an infobox template in some Wikipedia. It does probably closely relate to the actual physical notion Q899670, but it still is a different thing. For example, it was first introduced by User:Jakec, who is probably not the person who introduced the physical concept ;-) Anything that we will say about P1295 in the future refers to the property -- a concept of our own making, that is not described in any external source (there are no publications discussing P1295). This is also the reason why properties are supposed to support *claims* not *statements*. That is, they will have property-value pairs and qualifiers, but no references or ranks. Indeed, anything we say about properties has the status of a definition. If we say it, it's true. There is no other authority on Wikidata properties. You could of course still have items and properties "share" a page and somehow define which statements/claims refer to which concept, but this does not seem to make things easier for users. These are, for me, the two main reasons why it makes sense to keep properties apart from items on a technical level. Besides this, it is also convenient to separate the 1000-something properties from the 15-million something items for reasons of maintenance. Best regards, Markus On 28/05/14 09:25, David Cuenca wrote: Since the very beginning I have kept myself busy with properties, thinking about which ones fit, which ones are missing to better describe reality, how integrate into the ones that we have. The thing is that the more I work with them, the less difference I see with normal items.... and if soon there will be statements allowed in property pages,the difference will blur even more. I can understand that from the software development point of view it might make sense to have a clear difference. Or for the community to get a deeper understanding of the underlying concepts represented by words.
But semantically I see no difference between: cement (Q45190) <emissivity (P1295)> 0.54 and cement (Q45190) <emissivity (Q899670)> 0.54 Am I missing something here? Are properties really needed or arewe adding unnecessary artificial constraints?
Cheers, Micru _________________________________________________ Wikidata-l mailing list Wikidata-l@lists.wikimedia.org <mailto:Wikidata-l@lists.wikimedia.org> https://lists.wikimedia.org/__mailman/listinfo/wikidata-l <https://lists.wikimedia.org/mailman/listinfo/wikidata-l> _________________________________________________ Wikidata-l mailing list Wikidata-l@lists.wikimedia.org <mailto:Wikidata-l@lists.wikimedia.orghttps://lists.wikimedia.org/__mailman/listinfo/wikidata-l <https://lists.wikimedia.org/mailman/listinfo/wikidata-l>-- Etiamsi omnes, ego non
Wikidata-l mailing list Wikidata-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-l
Wikidata-l mailing list Wikidata-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-l