OWL Protégé how to proper use object restriction creator

Question

According to Protégé tutorial, class restrictions are created using the object restriction creator on the on the "Superclasses" section of the "Class Description" view. However, some scientific papers creates class restrictions on the "Superclasses" section of the "Object Property Description" view. What is the diference? If there is no difference, which is correct according to OWL? Figure one shows an example of each scenario.

Adding the Superclasses section of the Object Property Description image for better understanding

Answer 1

In the picture you posted there is no superclass section for object properties - those represented are subproperty axioms.

As discussed in the comments, global and local restrictions on properties can be expressed through domain/range axioms on the property or with restriction superclasses in other classes, however the two approaches satisfy very different requirements - the classic example being hasDescendant , which can be globally restricted to have domain and range as Living Organism , and which can be locally restricted as in:

Person and all hasDescendant Person

restricting all persons to only have persons as descendants.