public TransitiveProperty addTransitiveProperty(OURI aPropertyURI,
    Set<OClass> domain, Set<OClass> range) {
    if(domain == null) {
      domain = new HashSet<OClass>();
    }