Search code examples
rdfsemantic-webontology

How to express 2 events are related if they have at least one common participant in OWL or RDFS

I'd like to define a symmetric property to express that: if 2 events are related if they have at least one common participant.

The event ontology is defined here: http://motools.sourceforge.net/event/event.html

This inverse question is: how to define a 'co-participate' property in OWL or RDFS?

It'd be great if someone can elaborate the 2 sides of the coin.

Solution

  • If you have a property relatedTo that relates events, then you can use another property chain axiom (DL and Manchester syntax):

        participatesIn-1 • participatesIn ⊑ relatedTo
        inverse(participatesIn) o participatesIn SubPropertyOf relatedTo

    Then, with data like

        E1 ←participatesIn X →participatesIn E2

    you can infer that:

        E1 relatedTo E2