Issue 355: Label of inverse property notation

ID: 
355
Starting Date: 
2018-01-10
Working Group: 
1
Status: 
Done
Closing Date: 
2018-01-22
Background: 

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.

Current Proposal: 

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)

 

 

Outcome: 

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) 

 

Meetings discussed: