Formalization of the CRM: A First-Order attempt

Available Documents: 

Formalization of the CRM: A first-order attempt

A rst-order logic expression of the CIDOC Conceptual Reference Model

Reference to Cidoc Version: 

Version 6.2

Authors: 

Carlo Meghini

Martin Doerr

Announcement Date : 

2015-10-06