Double owl:unionOf for range/domain validation