Issue 655: What kind of inferences count as instances of shortcut properties?

ID: 
655
Starting Date: 
2023-10-11
Working Group: 
3
Status: 
Open
Background: 

In the 57th CIDOC CRM & 50th FRBR/LRMoo SIG Meeting, the SIG resolved to start an issue where to determine if any unidirectional implication expressed in some property’s FOL can be called a “shortcut”, irrespective of its complexity, or if the term can only be applied to straightforward paths. To be discussed in a new issue and to be brought at the next SIG meeting for discussion. 

HW: CEO, WS, MD

 

The present issue stems from 643, and specifically the complex inferences about defining an instance of E53 Place using multiple reference spaces (provided that they are nested) --see the relevant HW by CEO and ensuing discussion.
 

Marseille, October 2023