Inference issue restriction on property Promotes in class EditorialWork

[DBMaarten]

Class EditorialWork has two universal restrictions on the property promotes:

• promotes only EditorialWork
• promotes only EditorialGroup

When an instance of EditorialWork uses promotes to link to an instance of EditorialGroup, the reasoner infers that the target instance also belongs to EditorialWork.

[JuergenGrupp]

Thank you, @DBMaarten ! This was definitely not intended, when we split the promotes only EditorialObject into promotes only EditorialWork and promotes only EditorialGroup. I think the correct split should use some instead of only and would look like this:

• promotes some EditorlalWork
• promotes some EditorialGroup

What do you think?

[DBMaarten]

Hello Juergen, thank you very much. I think this solution could work. I tried it out in Protégé and the inference issue is gone. In ticket #470 I reported a similar inference issue and suggested a union class as a solution, but in that case the final solution turned out to be slightly different.