Help talk:Property constraints portal/Inverse

inverse=opposite

mother (P25) opposite of (P461) child (P40) (criterion used (P1013) - cause (Q2574811) (=time)) --Fractaler (talk) 13:35, 22 August 2017 (UTC)

@Fractaler: Sorry, I have no idea what you mean… --Lucas Werkmeister (WMDE) (talk) 12:53, 23 August 2017 (UTC)

I mean: inverse is synonym (Q42106), instead of inverse we can use only opposite (example above) --Fractaler (talk) 12:59, 23 August 2017 (UTC)

The page is about inverse constraint (Q21510855) which is a specific constraint. As the software probably only reads the qids, you could add aliases ..
--- Jura 13:04, 23 August 2017 (UTC)

opposite of (P461) is a property for items, so it can’t be used to specify inverse properties. However, it’s true that there is some redundancy between inverse property (P1696) and property constraint (P2302)inverse constraint (Q21510855). But I don’t think constraints should be inferred from other properties like inverse property (P1696): they should always be statements of property constraint (P2302).

However, there is currently some mismatch between inverse property (P1696) and property constraint (P2302)inverse constraint (Q21510855) – this query finds properties with an inverse property but no inverse constraint, or an inverse constraint but no inverse property, or which have both but not with the same property. It would be great if someone (or several people) could go over this list and clean it up :) --Lucas Werkmeister (WMDE) (talk) 16:35, 23 August 2017 (UTC)

Sometimes there is a 1-to-many relationship involved, sometimes we don't want all of them filled (x depicts tree and Mr. Z, Mr. Z depicted by X, but not tree depicted by x).
--- Jura 16:56, 23 August 2017 (UTC)