Ontological distinction(computer science)