What is the abbreviation for Portal developer kit?

Looking for the shorthand of Portal developer kit or how to abbreviate it? We have 2 shorthands for Portal developer kit.