Issue 322: Reification of E13, S4 and I1
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
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