search

nemo-ufes / gufo

gUFO: A Lightweight Implementation of the Unified Foundational Ontology (UFO)
http://purl.org/nemo/doc/gufo
Creative Commons Attribution 4.0 International
25 stars 5 forks source link

Expand gufo:isDerivedFrom domain and range? #3

Open tgoprince opened 3 years ago

tgoprince commented 3 years ago

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 commented 3 years ago

What do you think @claudenirmf?

claudenirmf commented 3 years ago

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