Partially implement RDFS+

Add support for owl:inverseOf, owl:SymmetricProperty and
owl:TransitiveProperty