Dear Simon,

Our messages crossed, your analysis is correct! We have discussed however, that reification or annotation is not recommended, rather an introduction of a node (class) representing a triary property rather than an individual entity. From the existence of an instance of PC14_carried_out_by we can automatically infer
the instance of P14, as described in the formalization.

All the best,

martin

On 3/2/2016 7:55 μμ, Simon Spero wrote:

The first order formalization  given in the crm document are:

P14(x,y,z) ⊃ [P14(x,y) ∧ E55(z)]

Note that the predicate on the left hand side has three arguments, which is more arguments than rdf is comfortable with.

The "in the role of" property is modifying an instance of a "carried out by" property. An activity can be carried out by several different agents, each in a different role, so the property cannot be attached directly to the activity.

There are several possible ways of representing this using semantic web tools.

The first approach is to use RDF reification. I am not going to say anything more about this.

If you are using OWL 2, you can add an annotation each "carried out by" property assertion. This is not ideal, as annotations are not really supposed to be part of the data in the model, and most reasoners ignore them. They are also not easy to work with in RDF.

A third approach is to define your own class for reification, representing an instance of a "carrying out" ; this class would have properties relating the activity, the agent, and the role.

The best approach may be to define a sub property of P14 for each type of carrying out in a role which is relevant to your model. You can specify the role associated with all uses of this property using a property whose subject is the subproperty.

Simon

On Feb 3, 2016 10:01 AM, "Allison Miller" <[email protected] <mailto:[email protected]>> wrote:

    Hello,

    I wish to use the CIDOC CRM but need a formal model to do so and
    have a question concerning .1 properties.

    eg. E7 Activity has: P14 carried out by (performed): E39 Actor and
    (P14.1 in the role of: E55 Type)

    It is a property I need to use - but I can’t work out how to model it!

    I thought I could use the Erlangen OWL implementation, but I can’t
    find these properties in it. (That’s not to claim they aren’t
    there, my knowledge of OWL is limited.)

    I would welcome any guidance on P14.1, and other .1 properties, in
    the Erlangen implementation, or advice on including them in a
    definition compatible with Semantic Web technologies if anyone has
    done this.

    Kind regards,

    Alli

    E-mail: [email protected]
    <mailto:[email protected]>

    Web: www.sysemia.com <http://www.sysemia.com/>



    Sysemia Limited

    The Innovation Centre, Bristol & Bath Science Park, Dirac
    Crescent, Emerson's Green, Bristol BS16 7FR

    Registered in England and Wales. Company Number: 7555456

    DISCLAIMER

    Information contained in this e-mail is intended for the use of
    the addressee only, and is confidential and may also be
    privileged. If you receive this message in error, please advise us
    immediately. If you are not the intended recipient(s), please note
    that any form of distribution, copying or use of this
    communication or the information in it is strictly prohibited and
    may be unlawful. Attachments to this e-mail may contain software
    viruses which may damage your systems. Sysemia Ltd have taken
    reasonable steps to minimise this risk, but we advise that any
    attachments are virus checked before they are opened.


    _______________________________________________
    Crm-sig mailing list
    [email protected] <mailto:[email protected]>
    http://lists.ics.forth.gr/mailman/listinfo/crm-sig



_______________________________________________
Crm-sig mailing list
[email protected]
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


--

--------------------------------------------------------------
 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