Issue 590: LRMoo: review of properties--request for comments

ID: 
590
Starting Date: 
2022-04-28
Working Group: 
3
Status: 
Open
Background: 

The LRMoo WG has done a review of technical aspects of the LRMoo property definitions. Namely, quantifiers, as well as transitivity, symmetry, reflexivity as discussed in recent SIGs for CRMbase.  

We have found some cases of questionable quantifiers.

Finally, we reviewed the handling of the .1 properties, based on the best practices recently discussed on the list. 

 

At this point we'd appreciate anyone who would have time to review our conclusions.

These are found in a 3 page document here:

https://docs.google.com/document/d/1u7bjA8ttGHGXRQ04PaYSGzsicyMpzc_PD_aQj5cDyx4/edit?usp=sharing

 

This request for comments is open until May 14 (that is until after the upcoming SIG meeting).

 

Many thanks, Pat

Reference to Issues:

360