Issue 602: determine the interface btw CRMsci and CRMinf

Starting Date: 
Working Group: 

Starting by S5 Inference Making and I5 Inference Making, there seems to be a substantial overlap between the two models. We need to determine how they are interfaced. And what is the best fit for Inference Making. 

Current Proposal: 

In the 53rd CIDOC CRM & 46th FRBRoo SIG meeting, the SIG decided to start a new issue to determine how CRMsci and CRMinf are interfaced and which model is the best fit for S5/I5 Inference Making. The point of this issue is to determine whether S5 should be kept in CRMsci until CRMinf is stable. 


HW: CRMsci (MD, TV, AK) and CRMinf (Sds) maintainers


May 2022

Post by Thanasis Velios (14 July 2022)

Dear all,

Issue 602 is to consider whether class S5/I5 Inference Making should be in CRMsci or CRMinf. Following some discussion in the HW group for this issue, the proposal is that:

  • I5/S5 Inference Making stays in CRMinf.
  • its subclasses can be in CRMsci (or other extensions).
  • S8 Categorical Hypothesis Building stays in CRMinf.


The scope of CRMinf is to define that there is a process of inference making. The types of inference making depend on the methods and logics used in various domains, so the subclasses of I5 Inference Making are more appropriate in extensions dealing with these domains. Therefore S6 Data Evaluation and S7 Prediction make sense to be in CRMsci as these are often employed in the research areas within the scope of CRMsci. S8 Categorical Hypothesis Building makes sense in CRMinf as the transition from finite sets of observations (CRMsci, etc.) to induction of global regularities is a basic inference mechanism in human thinking. The theoretical analysis of inference mechanisms started in CRMinf was limited to inferring particular facts only. But this does not mean that CRMinf is restricted to that. Categorical Hypotheses are also constituents of the inference logic applied in inferences about a particular reality.

Happy to hear other views and I can prepare a WD for Rome.

All the best,


In the 56th joint meeting of the CIDOC CRM and ISO/TC46/SC4/WG9 &49th FRBR/LRMoo SIG, AK & TV proposed to deprecate S5 Inference Making in CRMsci v2.1 and only keep it in CRMinf, where it should be declared a subclass of E13 Attribute Assignment (to ensure that the subclasses of S5 --namely S6 Data Evaluatiion, S7 Simulation or Prediction) can still be declared subclasses of S5 Inference Making. 
Nb. S8 Categorical Hypothesis Building describes a kind of inferencing that applies more broadly than CRMsci and sits more closely with CRMinf anyhow (so it can be moved to CRMinf on these grounds). 

Summary of Decisions

  • Accept the proposal by AK & TV. 
  • Inform CRMsci (V2.1) of the decision,
  • Update CRMinf (i.e., declare I5 IsA E13 as well, move S8 to CRMinf). 
  • HW to AK, SdS, PF & MD
  • To check that the scope notes for I5 and S5 do not have clashing semantics in any way. If there are any mismatches, the SIG should reconsider declaring S5 a subclass of I5 and retaining them in both models.

For the details of the implications for CRMsci and CRMinf and discussion points made, see the attached documents.
Crete, May 2023.