epo:Notice epo:refersToNotice v/s epo:CompetitionNotice epo:announcesProcedure

[cristianvasquez]

• The EPO ontology describes epo:CompetitionNotice that inherits from epo:Notice

• epo:Notice uses epo:refersToProcedure to point to an epo:Procedure

• epo-not:CompetitionNotice uses epo:announcesProcedure to point to epo:Procedure

• The Semic conventions describe that properties are inherited by sub-classes

Now suppose we want to instantiate a epo:CompetitionNotice According to the conventions + autogenerated SHACL, one would expect epo:announcesProcedure and epo:announcesProcedure but that is not necessarily the intention of the modellers.

• How should this diagram be interpreted? How can we represent exclusion between the properties?
• Should they be taken as equivalent?