Ontology Modification: Expose a method to add Owl and RDF relations to objects

#### Description:

OWL, RDF, RDFS have rich vocabulary. However, our current translator supports only owl:Class and properties (not types of properties). We should be able to define also owl and rdf vocabulary when creating new objects. Some basics ones that one can add from Ontology Editors (such as Protege) are:

- **Between Classes:** disjoint With, Disjoint Union Of, Equivalent to;

- **Properties types**: Functional, Inverse Functional, Transitive, Symmetric, Asymmetric, Reflexive,and Irreflexive.

Here are some extended explanation of class axioms and property definition:
• [rdfs:subClassOf](https://www.w3.org/TR/owl-ref/#subClassOf-def)
• [owl:equivalentClass](https://www.w3.org/TR/owl-ref/#equivalentClass-def)
• [owl:disjointWith](https://www.w3.org/TR/owl-ref/#disjointWith-def)

[4.2 Relations to other properties](https://www.w3.org/TR/owl-ref/#PropertyRelation)
o [4.2.1 owl:equivalentProperty](https://www.w3.org/TR/owl-ref/#equivalentProperty-def)
o [4.2.2 owl:inverseOf](https://www.w3.org/TR/owl-ref/#inverseOf-def)
• [4.3 Global cardinality restrictions on properties](https://www.w3.org/TR/owl-ref/#PropertyCardinality)
o [4.3.1 owl:FunctionalProperty](https://www.w3.org/TR/owl-ref/#FunctionalProperty-def)
o [4.3.2 owl:InverseFunctionalProperty](https://www.w3.org/TR/owl-ref/#InverseFunctionalProperty-def)
• [4.4 Logical characteristics of properties](https://www.w3.org/TR/owl-ref/#PropertyLogic)
o [4.4.1 owl:TransitiveProperty](https://www.w3.org/TR/owl-ref/#TransitiveProperty-def)
o [4.4.2 owl:SymmetricProperty](https://www.w3.org/TR/owl-ref/#SymmetricProperty-def)

I suggest for this topic as well, we need to workshop a bit, what is the best/most strategic way to integrate it to our toolkit.