Checking the outcome of issue 276 CEO posted on crm - sig on 4/1/2018
The FOL notation in read can be deleted since in general the P130 is not symmetric (is stated in the minutes from October 2015)
The subproperty 'P73 has translation (is translation of)' is indeed mirrored with respect to
P130 shows features of (features are also found on) as indicated by the 'i' in P73i
There is a notation issue here: Is the small 'i' visible enough or should the names of the directions be changed tol:
'P73i is translation of (has translation)'?
In any cast, the read FOL notation can be deleted and the red color in the header can also be removed.
The header of the scope note of P73 should be adjusted accordingly so that the name of both directionsof the superproperty are written:
P73 has translation (is translation of)
Domain: E33 Linguistic Object
Range: E33 Linguistic Object
Subproperty of: E70 Thing. P130i features of (features are also found on): E70 Thing
Then Martin initiated the voting by email on 4/1/2018 sending the following message
Dear All,
Should we change in the CRM definition text together with the "i" for inverse also the order of the two labels?:
e.g.:
A) P73 has translation (is translation of) => P73i is translation of (has translation)
OR
B) P73 has translation (is translation of) => P73i has translation (is translation of) ?
PLEASE VOTE A or B.
Posted by Chryssoula on 10/1/2018
The outcome of voting by email is the following:
9 members of crm-sig voted.
- Two of them sent comments
- Seven of them selected (A)
Thus the order of the labels of the inverse of a property will be as in the example
A) P73 has translation (is translation of) => P73i is translation of (has translation)
Posted by Martin on 22/1/2018
Dear All,
The issue is done:
the order of the labels of the inverse of a property will be as in the example
P73 has translation (is translation of) => P73i is translation of (has translation)