Expand gufo:isDerivedFrom domain and range?

[tgoprince]

The object property gufo:isDerivedFrom has gufo:EndurantType as its range.

That prevents us from representing that a historical relation is derived from an event.

For instance:

:wasWrittenBy rdf:type owl:ObjectProperty;
    rdfs:subPropertyOf gufo:historicallyDependsOn ;
    rdfs:domain :Book;
    rdfs:range :Author;
    gufo:isDerivedFrom :CompositionProcess .

:CompositionProcess rdfs:subClassOf gufo:Event .

Shouldn't we expand this range to also include gufo:Event?

Maybe even make it gufo:ConcreteIndividual

This truthmaking pattern is discussed in:

Guarino, N., Sales, T. P., & Guizzardi, G. (2018, October). Reification and truthmaking patterns. In International Conference on Conceptual Modeling (pp. 151-165). Springer, Cham.

[tgoprince]

What do you think @claudenirmf?

[claudenirmf]

I agree with you, we should open the range to include events to support historical relations. We should also check if it is ok to "bypass" the endurant in other to have the "strong truthmaking pattern" without the "weak truthmaking pattern".