Dear All,

Please have a look at the draft proposal how to
specify CRM in First Order Logic, including transformation
rules to OWL. This is also a proposal to achieve semantic
transparency of the ontological decisions underlying the
Erlangen CRM.

http://www.cidoc-crm.org/docs/OWL_formalisation_of_the_CRM.pdf

(apologies for my colleagues for the filename, it's NOT an OWL formalisation, it's a draft logical interpretation).

This will be discussed in detail on Wednesday, Oct. 1.

Best wishes,

Martin

--

--------------------------------------------------------------
 Dr. Martin Doerr              |  Vox:+30(2810)391625        |
 Research Director             |  Fax:+30(2810)391638        |
                               |  Email: [email protected] |
                                                             |
               Center for Cultural Informatics               |
               Information Systems Laboratory                |
                Institute of Computer Science                |
   Foundation for Research and Technology - Hellas (FORTH)   |
                                                             |
               N.Plastira 100, Vassilika Vouton,             |
                GR70013 Heraklion,Crete,Greece               |
                                                             |
             Web-site: http://www.ics.forth.gr/isl           |
--------------------------------------------------------------

Reply via email to