Issue 322: Reification of E13, S4 and I1

Starting Date: 
2016-12-02
Working Group: 
3
Status: 
Open
Background: 

Can we connect with FOL or Second Order Logic the reification construct of E13 Attribute Assignment and S4 Observation with the named graph construction of I1 Argumentation?

posted by Martin on 2/12/2016

Current Proposal: 

In the 37th joined meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9 and the 30th   FRBR - CIDOC CRM Harmonization meeting, it was  assigned to Christian -Emil  to analyze and see if FOL representation  is possible between the E13 Attribute Assignment and S4 Observation with the named graph construction of I1 Argumentation and also it was noted that a  link  is needed  between the temporal constraint  belief and the argumentation that motivated it.

Berlin, December 2016