See: https://www.w3.org/TR/owl2-profiles/#Global_Restrictions
See: https://www.w3.org/TR/owl2-profiles/#Global_Restrictions