Can you please elaborate on the four distinct types of ontology that exist within the realm of philosophy and knowledge representation? I'm particularly interested in understanding how they differ from each other and the specific applications or contexts in which they are most commonly utilized. Additionally, could you provide some examples or scenarios to further clarify the concepts?