- Třídy dovolují strukturovat problémovou doménu do skupin charakteristických určitými vlastnostmi - Tyto vlastnosti odlišují jednu třídu od druhé (a potažmo i jedince v těchto třídách) - V Protégé neplatí princip UNA - překrývají-li se vlastnosti tříd, chápou se tyto třídy jako ten samý pojem (byť mají jiný název)
- Aby nedocházelo k vzájemnému překrytí pojmů, které jsou od sebe navzájem různé, je třeba zavést mezi nimi disjunktnost - Disjunktnost zajistí vzájemnou nerovnost - V praxi zavedení disjunkce mezi třídami vyžaduje důkladné zvážení, zda je opodstatněná