In the 57th CIDOC CRM & 50th FRBR/LRMoo SIG Meeting, MD proposed to start a new issue where to discuss restricting the use of E55 Type through FOL statements.
Decisions:
HW: MD to flesh out the issue.
Marseille, October 2023
In the 61st joint meeting of the CIDOC CRM and ISO/TC46/SC4/WG9 & 54th FRBR/LRMoo SIG, the group reviewed issue 677 to determine what needs to be done (in terms of scope of the issue, HW assignment, etc.).
Originally there was not so much to do about the issue, and it had not been properly contextualized. CEO thinks that it’s a good way to express in FOL what restricting the domain or range of a property to a subclass yields a subproperty (given the domain/range restriction).
WS has volunteered to take a look at the issue because he thinks there are implications for the CRMgeo and CRMbase harmonization (in particular E94 Space Primitive. Q10 defines place: SP6 Declarative Place and E94 Space Primitive. P168i defines place (place is defined by): E53 Place) that at an FOL level are completely equivalent and thus render the pb(x,y) ⇒ pa(x,y) “subproperty of” axiom wrong.
HW: WS to report back to the SIG at the next meeting.
Heraklion, October 2025