document inherited properties in owl-doc

[dwagmuse]

User Story

As a user of owl-doc I would like to have it document any concept properties inherited through supertypes or aspects

Detailed Description

We commonly use aspects as carriers of common properties. E.g., the base:IdentifiedObject defines a number of common identifier properties like canonicalName and identifier that are applied to many concepts. And those properties are among the most important to users because those provide the handles they use to refer to the objects. However, owl-doc documents only the direct properties of any concept. I can find inherited properties by following links to supertypes but I want to see all of the relevant properties for the given concept on its page.

This should apply to inherited relations too..

Acceptance Criteria

• Given [Condition], then [Expected Result]
• Given [Condition], then [Expected Result]
• Given [Condition], then [Expected Result]

[jsjuni]

Agree with the need.

This is tricky to get right without reasoning support. For example, the range of property p for some class C is restricted by an all-values-from restriction on p over C, but also any all-values-from restriction on any superproperty of p over any superclass of C.