Declaring additional axioms for DPV-OWL

[coolharsh55]

Currently the concepts within DPV-OWL are structured semantically in the same manner as other forms (i.e. RDFS, SKOS). OWL permits declaration of additional axioms such as that for disjointness, class-based relations, and composition (e.g. subclasses). This issue is intended to discuss what these axioms are, and how to provide them as code. Suggestions include adding them directly to relevant files during code generation, or providing them in a separate file but under the same namespace to enable optional inclusion.

Edit: also provide inverse relations between properties.

[coolharsh55]

Tagging @pab-github and @trapeze-project to see if they can help with providing requirements/resources for this.