Representing which out of multiple information content entities is about a state of affairs

[nklsbckmnn]

Consider the following example:

directive-1 mro:prescribes object-1
object-1 mro:participates_in process-1
directive-2 mro:prescribes object-1
object-1 not mro:participates_in process-1

I would now like to represent that it is directive-1 that prescribes that object-1 participates in process-1 and that it is directive-2 that prescribes that object-1 does not participate in process-1.

I currently see two options to do this:

(1) Use property chains
(2) Use a different relation name space for every directive information content entity

What bothers me about (1) is that (a) one would need to define a property chain for every combination of relations of interest, e. g. for "mro:prescribes o mro:participates_in o mro:occurs_on" and (b) querying would be a lot more complicated. As I understand MRO, it was designed to avoid both issues.

I would appreciate any thoughts. Thank you.

[nklsbckmnn]

I think I found another reason why option (1) will not easily work.

Take this example.

In this graph, the following information is represented:

IC1a and IC1b are part of IC1.
IC1a is bearer of DC1.
GDP1 is about IC1a.
GDP2 is about IC1a and IC1b.
GDP1 and GDP2 stand in a "about o part_of" relation to IC1.

What I actually want to represent is this:

GDP1 is about the state of affairs that IC1a is part_of IC1.
GDP2 is about the state of affairs that IC1b is part_of IC1 and that IC1a is bearer_of DC1.

In this case, the property chain relations do not allow me to determine that it is GDP1 and not GDP2 that is about the state of affairs that IC1a is part_of IC1, because GDP2 is also about IC1a, just not about it being part of IC1.