search

edmcouncil / idmp

This repository stores the OWL ontology built on the basis of the ISO standards for identification of medicinal products.
https://spec.edmcouncil.org/idmp/
MIT License
29 stars 10 forks source link

Implicit subclass links due to the subproperty domain/range inheritance #635

Open mereolog opened 2 weeks ago

mereolog commented 2 weeks ago

There are three implict subclass relationships due to the inheritance of the domains for subproperties.

In the table below:

property1 property2 domain1 domain2
idmp-mprd:isAuthorizedThrough cmns-pts:undergoes idmp-mprd:AuthorizedParty cmns-pts:Undergoer
cmns-org:isMembershipPartyIn cmns-pts:actsIn cmns-org:MemberBearingOrganization cmns-pts:Actor
cmns-org:isOrganizationMember cmns-pts:undergoes cmns-org:OrganizationMember cmns-pts:Undergoer

These facts should be reviewed as we shouldn not keep such subclass links implict: so either add them explicitly, i.e., as triples, or change the property infrastructure.

Note that there is a similar situation with respect to the range inheritance - see the table below:

property1 property2 range1 range2
idmp-mprd:hasAuthorizedParty cmns-pts:hasUndergoer idmp-mprd:AuthorizedParty cmns-pts:Undergoer
cmns-org:hasMembership cmns-pts:hasActor cmns-org:MemberBearingOrganization cmns-pts:Actor
cmns-org:hasOrganizationMember cmns-pts:hasUndergoer cmns-org:OrganizationMember cmns-pts:Undergoer
ElisaKendall commented 1 week ago

@mereolog These are all related to property chains, so we would need to make sure that any additions would not violate restrictions in OWL related to complex properties.