Dear All, I propose not to include in the formal definition of the CIDOC CRM a formal theory about the "has type" property. I believe, that a more simplistic formulation is suited better for the community we address with the standard. Nevertheless, a formal theory can provided at any time as an accompanying document.
best, Martin -- -------------------------------------------------------------- Dr. Martin Doerr | Vox:+30(810)391625 | Principle Researcher | Fax:+30(810)391609 | Project Leader SIS | Email: [email protected] | | Information Systems Laboratory | Institute of Computer Science | Foundation for Research and Technology - Hellas (FORTH) | | Vassilika Vouton,P.O.Box1385,GR71110 Heraklion,Crete,Greece | | Web-site: http://www.ics.forth.gr/isl | --------------------------------------------------------------
