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
28 stars 5 forks source link

Question: Relating an endurant to a type by which it is categorized #16

Closed HuibertDeVries closed 4 months ago

HuibertDeVries commented 5 months ago

I have two questions about the model below (picture and code block)

  1. Content-wise: We would like to indicate that a Person could fulfill a Organizational Role, but would not explicitly model all possible instances of Organizational Role as subclasses of Person.   The advantage of this is that we leave unspecified which subclasses can end up being added. We only model the fact that there are different subclasses of Position following from the Role that Position has.  Is this a 'correct' way to use gUFO?

  2. Visually: The property gufo:categorizes consideres Person and OrganizationalRole as instances of respectively gufo:Kind and gufo:Type. The property :fulfillsTheRoleOf consideres Person and OrganizationalRole as classes. How can we visualize efficiently the categorizes-relation between both classes without suggesting that instances of OrganizationalRole categorize instances of Person?

Model Categorizes

:Person a gufo:Kind ;

rdfs:subClassOf gufo:FunctionalComplex .

:OrganizationalRole a gufo:Type ;
    rdfs:subClassOf gufo:Role .

:OrganizationalRole gufo:categorizes :Person .

:fulfillsTheRoleOf a owl:ObjectProperty ;
    rdfs:domain ex:Person ;
    rdfs:range ex:OrganizationalRole .

:ProgramManager a :OrganizationalRole .

:John a :Person ;
    :fulfillsTheRoleOf :ProgramManager .