Post by Pat Riva (10 September 2024)
Finally, some overdue homework. LRMoo version 1.0 was issued without FOL due to running out of time. I have now put together a draft of the FOL for each class or property in a separate document. I could be totally wrong! And I put a list of questions on p.9, after the properties. Comments and corrections welcome.
Thanks,
Pat
In the 59th joint meeting of the CIDOC CRM and ISO/TC46/SC4/WG9 & 52nd FRBR/LRMoo SIG, Pat shared the file with the proposed FOL statements for LRMoo classes and properties for the SIG to review offline and offer feedback.
N.b. LRMoo v1.0 has been released without any FOL statements in it, and the group has been working towards providing them since.
The document can be accessed here. Anything marked in italics explicitly requires feedback.
Decision:
HW: CEO and WS will go through them and comment by the next SIG meeting.
Plovdiv, September 2024
Post by Pat Riva (31 March 2025)
Hello all,
I'm joining the last minute homework sharing with homework on issue 685, the LRMoo FOL statements that we first discussed in Plovdiv. Since then, Wolfgang Schmidle and Christian-Emil have very kindly reviewed everything closely.
And thus some issues were discovered that merit further discussion. Two relate to LRMoo itself, and others relate to which FOL conventions we prefer, particularly for more complex long path statements.
In this folder: https://drive.google.com/drive/folders/1xZcKl2WQMfPJ1r1YXLUPXkl-JF-p5qe…
You will find the FOL document, with the comment threads, and also a powerpoint that summarizes the issues for discussion.
This is on the agenda for April 2.
See you soon,
Pat