adding owl:InverseFunctionalProperty,owl:IrreflexiveProperty,owl:ReflexiveProperty,owl:propertyDisjointWith axioms