Dear Martin, some time ago we also had a discussion about this topic on the Erlangen CRM mailing list. Perhaps some of this work is already done, have a look here: https://groups.google.com/forum/#!msg/erlangen-crm/ojF1l8EhoPc/2bzmgIbW3sQJ - List of Shortcuts https://groups.google.com/forum/?hl=en#!topic/erlangen-crm/tJ4JDk8tcQI - Discussion about Shortcuts
Best regards, Mark Fichtner 2014-08-31 14:49 GMT+02:00 martin <mar...@ics.forth.gr>: > Dear All, > > I work together with Carlo Meghini on a formalization of > CIDOC CRM in first order logic, in order to have an encoding > neutral, compact form for OWL implementations and other reasoning > services. We'll present this work for discussion in the next > CRM-SIG meeting. > > One issue that occurred is the meaning of shortcuts. > In all cases, the extended path implies the shortcut, > but only in a few cases the shortcut implies a particular > path so that the existence of the intermediates can be > inferred. (such as "rights held by"). > > Who would volunteer to scan the latest version for that? > > All the best, > > Martin > > -- > > -------------------------------------------------------------- > Dr. Martin Doerr | Vox:+30(2810)391625 | > Research Director | Fax:+30(2810)391638 | > | Email: mar...@ics.forth.gr | > | > 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 | > -------------------------------------------------------------- > > > > _______________________________________________ > Crm-sig mailing list > Crm-sig@ics.forth.gr > http://lists.ics.forth.gr/mailman/listinfo/crm-sig > >