Missing domain and range restrictions

[gregfowlerphd]

I was recently adding back axioms to MIREOT-ed CCO classes and object properties, and I noticed that a number of CCO object properties lack any domain and range restrictions despite such restrictions being clearly specified in their definitions:

• "process started by" / "process starts"
• "has agent" / "agent in"
• "has object" / "is object of"
• "describes condition" / "condition described by"
• "is mention of" / "is mentioned by"
• "is used by" / "uses"

Similarly, in the case of "has recipient" / "receives" and "has sender" / "sends", only one restriction is asserted even though both are indicated in their definitions.

It seems to me that the relevant restrictions should be added.

[neilotte]

@gregfowlerphd -- One of our colleagues has conducted a comprehensive review of this issue and a fix is underway. @oliviahobai -- fysa.

[gregfowlerphd]

@neilotte: Thanks, Neil. I assume you're referring to Michael Rabenberg? He emailed me after seeing this issue to let me know he'd been working on it.

[johnbeve]

OBE based on previous updates.
For posterity, a few domain/range changes were missed and are being updated here: #800